Akim Demaille 527187137a Merge remote-tracking branch 'origin/maint' ...

* origin/maint:
  version 2.5.1
  NEWS: prepare for 2.5.1.
  maint: update release procedure
  maint: fix comment typos
  maint: post-release administrivia

Conflicts:
	NEWS

2012-06-05 14:07:43 +02:00

..

.gitignore

Merge remote-tracking branch 'origin/maint'

2012-06-05 14:07:43 +02:00

cross-options.pl

global: remove unnecessary horizontal tabs.

2011-07-24 18:13:05 -04:00

git-log-fix

maint: generate ChangeLog from git log

2012-01-24 19:58:18 +01:00

local.mk

global: remove unnecessary horizontal tabs.

2011-07-24 18:13:05 -04:00

move-if-change

build: fix the generation of the documentation.

2009-08-12 16:30:48 +02:00

prev-version.txt

Finish the transition config -> build-aux.

2005-10-21 09:13:01 +00:00

update-b4-copyright

maint: run "make update-copyright".

2012-01-13 11:48:14 +01:00

update-package-copyright-year

maint: run "make update-copyright".

2012-01-13 11:48:14 +01:00