diff options
author | P. J. McDermott <pjm@nac.net> | 2013-09-08 21:12:50 (EDT) |
---|---|---|
committer | P. J. McDermott <pjm@nac.net> | 2013-09-08 21:12:50 (EDT) |
commit | cb75e2194449e79979155e0b0ec3d7b715e04712 (patch) | |
tree | bf1fc6a4970c75cb20d88b94cd30ed40d03150b6 /.gitignore | |
parent | 1a353b331cff6d91458e662b2430d9860cddaf1d (diff) |
Add patch to fix unknown texinfo command errors.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions