diff options
| author | Glenn Morris <rgm@gnu.org> | 2007-07-27 08:09:43 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2007-07-27 08:09:43 +0000 |
| commit | 65fa82e95bf84f89ac1f071bc242925be44e165f (patch) | |
| tree | dc76d25eac9112f26843bd574d39ce735a0b27c2 /man | |
| parent | 2f22dcff25b745cef1ddf96c868019a83f941553 (diff) | |
| download | emacs-65fa82e95bf84f89ac1f071bc242925be44e165f.tar.gz | |
*** empty log message ***
Diffstat (limited to 'man')
| -rw-r--r-- | man/ChangeLog | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/man/ChangeLog b/man/ChangeLog index 4a34024d60a..3dd4f347307 100644 --- a/man/ChangeLog +++ b/man/ChangeLog @@ -5,6 +5,7 @@ in-line. * gpl.texi: New file with text of GPL. + * Makefile.in (EMACSSOURCES): Add gpl.texi. 2007-07-25 Glenn Morris <rgm@gnu.org> |