Searched defs:xmlencoding (Results 1 – 1 of 1) sorted by relevance
53 String xmlencoding, String fileencoding, String filename) in writeCharTableFile()203 String xmlencoding = "ISO-8859-7"; in main() local