.gitignore: Ignore `makeindex' debris.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 9 Jul 2018 12:08:20 +0000 (13:08 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 9 Jul 2018 12:09:58 +0000 (13:09 +0100)
commit08b83df5234027f1f0a7aadd097011c15767cee8
tree3c7eb8f6062734fd99c1e556da1d0282e43b5abf
parent9cd5cf15f8c54932ff9ddd8ac469fdedd9b5f9df
.gitignore: Ignore `makeindex' debris.
.gitignore