  muzimuzhiandGitHub
|
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 |
|