Adding more files to ignore when using minitoc
As per http://tex.stackexchange.com/q/258515/828
D
David Haberthür committed
2d862c129e8ee7988fe29e371dd23e0a79d588f3
Parent: 92fe231
As per http://tex.stackexchange.com/q/258515/828