summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorP. 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)
commitcb75e2194449e79979155e0b0ec3d7b715e04712 (patch)
treebf1fc6a4970c75cb20d88b94cd30ed40d03150b6 /.gitignore
parent1a353b331cff6d91458e662b2430d9860cddaf1d (diff)
Add patch to fix unknown texinfo command errors.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions