muzimuzhi e98611a344 Added *.listing extension to TeX.gitignore ...

This is the default extension the package "tcolorbox" may generate. The actual extension may be changed by key "listing file" provided by "tcolorbox".

2018-08-22 01:26:44 +08:00

2.4 KiB

Raw Blame History

View Raw