| commit | 08953d7f7a9e92b7b62da8c126ca801a76d19a31 | |
| author | Glenn Morris <rgm@gnu.org> | |
| Fri, 21 Dec 2012 18:14:29 +0000 (21 10:14 -0800) | ||
| committer | Glenn Morris <rgm@gnu.org> | |
| Fri, 21 Dec 2012 18:14:29 +0000 (21 10:14 -0800) | ||
| tree | 4fa211e1f03f5e3b3505cbf2797995df14424c42 | treesnapshot (tar.gz zip) |
| parent | bb085aed959358d9f13d568f87507347832beae5 | commitdiff |
* doc/misc/erc.texi: No need to include gpl in this small manual.
| doc/misc/ChangeLog | diffblobblamehistory | |
| doc/misc/erc.texi | diffblobblamehistory |