diff options
| author | Glenn Morris | 2014-01-02 19:00:39 -0800 |
|---|---|---|
| committer | Glenn Morris | 2014-01-02 19:00:39 -0800 |
| commit | 33306400fb40555f666b2064e09b331e3a41c244 (patch) | |
| tree | ba44195d8899d6de5c439b26269b1143a87d0dda /admin | |
| parent | fdf52fd4f64d827c3e6c414b09ada7b323f37715 (diff) | |
| download | emacs-33306400fb40555f666b2064e09b331e3a41c244.tar.gz emacs-33306400fb40555f666b2064e09b331e3a41c244.zip | |
* doc/misc/ert.texi: Add a titlepage. Use @insertcopying.
Diffstat (limited to 'admin')
0 files changed, 0 insertions, 0 deletions