From: Simon Josefsson Date: Tue, 14 Feb 2006 12:54:03 +0000 (+0000) Subject: *** empty log message *** X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c0bab88345db71b4343ec061c35a3231e0ec8987;p=pspp *** empty log message *** --- diff --git a/ChangeLog b/ChangeLog index 123e7658ec..1808c6140d 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2006-02-14 Simon Josefsson + * modules/maintainer-makefile (Files): Rename. + * build-aux/GNUmakefile: Rename Makefile.maint to maint.mk and (the local) Makefile.cfg to maint-cfg.mk.