diff options
| author | Glenn Morris | 2007-07-27 08:09:43 +0000 |
|---|---|---|
| committer | Glenn Morris | 2007-07-27 08:09:43 +0000 |
| commit | 65fa82e95bf84f89ac1f071bc242925be44e165f (patch) | |
| tree | dc76d25eac9112f26843bd574d39ce735a0b27c2 | |
| parent | 2f22dcff25b745cef1ddf96c868019a83f941553 (diff) | |
| download | emacs-65fa82e95bf84f89ac1f071bc242925be44e165f.tar.gz emacs-65fa82e95bf84f89ac1f071bc242925be44e165f.zip | |
*** empty log message ***
| -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 @@ | |||
| 5 | in-line. | 5 | in-line. |
| 6 | 6 | ||
| 7 | * gpl.texi: New file with text of GPL. | 7 | * gpl.texi: New file with text of GPL. |
| 8 | * Makefile.in (EMACSSOURCES): Add gpl.texi. | ||
| 8 | 9 | ||
| 9 | 2007-07-25 Glenn Morris <rgm@gnu.org> | 10 | 2007-07-25 Glenn Morris <rgm@gnu.org> |
| 10 | 11 | ||