]> source.dussan.org Git - gitignore.git/commit
Adding more files to ignore when using minitoc 1609/head
authorDavid Haberthür <email@davidhaberthuer.ch>
Tue, 4 Aug 2015 08:10:16 +0000 (10:10 +0200)
committerDavid Haberthür <email@davidhaberthuer.ch>
Tue, 4 Aug 2015 08:10:16 +0000 (10:10 +0200)
commit2d862c129e8ee7988fe29e371dd23e0a79d588f3
tree02fd37766d62a43aaf5cd4b9c1efd43c3471f267
parent92fe23112d1863d526651434169928ea0b61b853
Adding more files to ignore when using minitoc

As per http://tex.stackexchange.com/q/258515/828
TeX.gitignore