diff options
| author | Paul Eggert | 2016-05-13 07:41:07 -0700 |
|---|---|---|
| committer | Paul Eggert | 2016-05-13 07:41:47 -0700 |
| commit | 9c2a1a264cf418fcf187b95b49fe986b32ceabef (patch) | |
| tree | 5c12cecae240caaabe372012250d9ef70ecf7ee0 /admin | |
| parent | 66cd4d8bd031fb5cb1c65e3b008681021ea32906 (diff) | |
| download | emacs-9c2a1a264cf418fcf187b95b49fe986b32ceabef.tar.gz emacs-9c2a1a264cf418fcf187b95b49fe986b32ceabef.zip | |
* doc/misc/texinfo.tex: Sync from gnulib.
Diffstat (limited to 'admin')
0 files changed, 0 insertions, 0 deletions