]> git.rustad.me Git - master/commitdiff
Ignore makeindex files
authorBjørn Rustad <bjorn@rustad.me>
Mon, 8 Dec 2014 14:30:38 +0000 (15:30 +0100)
committerBjørn Rustad <bjorn@rustad.me>
Mon, 8 Dec 2014 14:30:38 +0000 (15:30 +0100)
.gitignore

index 859c7b3edcbdec25da0059513b052bac6e84c94b..372ba6d34480e0d74902f030d08b60b685b45c70 100644 (file)
@@ -7,3 +7,8 @@
 *.toc
 *.swp
 *.xdv
+*.ilg
+*.nlo
+*.nls
+*.pyg
+