Bump version (incompatilibity: dropping old Pythons).
[texml.git] / scripts / texml_local
2018-03-26 Radek CzajkaImport from v. 2.0.2 downloaded from getfo.org/texml/