Skip to content

small fixes#3

Merged
TexKiller merged 9 commits intoTexKiller:compatibilityfrom jimmywarting:TexKiller-compatibilityApr 12, 2019