Adding more files to ignore when using minitoc
Description
Description
Details
Details
- Committed
David Haberthür <email@davidhaberthuer.ch> Aug 4 2015, 10:10 - Pushed
aubort Jul 2 2018, 16:12 - Parents
- rGITIGNORE92fe23112d18: Merge pull request #1370 from SamWhited/patch-2
- Branches
- Unknown
- Tags