diff options
author | P. J. McDermott <pjm@nac.net> | 2013-09-21 12:33:06 (EDT) |
---|---|---|
committer | P. J. McDermott <pjm@nac.net> | 2013-09-21 12:33:06 (EDT) |
commit | b82334e57e91cbe223dee8c1a7acae10dbd70065 (patch) | |
tree | b25e56142029dd375b0a2e4640546dd2d4a7ee26 /.gitignore | |
parent | c8d6ad03713bc5522f57846a4d75de1d74b4ddda (diff) |
build: Remove GNU Info index.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions