Akim Demaille 65126716d7 update-test: some file names have dashes in them ...

* build-aux/update-test (log): Rename as...
(trace): this, to avoid clashes with the log variable.
(getargs): Clarify the type of the arguments.

2019-05-29 08:26:20 +02:00

..

.gitignore

gnulib: update

2019-03-13 08:21:34 +01:00

cross-options.pl

doc: style fixes

2019-01-18 06:55:01 +01:00

Darwin.valgrind

package: bump copyrights to 2019

2019-01-05 14:58:05 +01:00

git-log-fix

package: fix a reporter's name

2015-01-04 18:00:51 +01:00

install-icc.sh

CI: also check with ICC

2018-09-18 13:21:38 +02:00

Linux.valgrind

package: bump copyrights to 2019

2019-01-05 14:58:05 +01:00

local.mk

package: bump copyrights to 2019

2019-01-05 14:58:05 +01: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

package: bump copyrights to 2019

2019-01-05 14:58:05 +01:00

update-package-copyright-year

package: bump copyrights to 2019

2019-01-05 14:58:05 +01:00

update-test

update-test: some file names have dashes in them

2019-05-29 08:26:20 +02:00