chiark / gitweb /
~mdw / sod / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 9cd5cf1)
.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)
.gitignore patch | blob | blame | history

diff --git a/.gitignore b/.gitignore
index 7460dbb15062daee62b2badbbacf07a937da6344..3c673e966c93a0b84aec41669c7e1a8d7e4ceae8 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -7,6 +7,7 @@
 *.aux
 *.ind
 *.idx
+*.ilg
 *.bbl
 *.blg
 _region_.tex
Simple Object Design: an object system for C