Import from v. 2.0.2 downloaded from http://getfo.org/texml/
[texml.git] / scripts / texml_local
2018-03-26 Radek CzajkaImport from v. 2.0.2 downloaded from getfo.org/texml/