Searched defs:fileencoding (Results 1 – 1 of 1) sorted by relevance
53 String xmlencoding, String fileencoding, String filename) in writeCharTableFile()204 String fileencoding = "ISO8859_7"; in main() local