Searched refs:writeHTMLFile (Results 1 – 2 of 2) sorted by relevance
298 DB.writeHTMLFile(HTMLoutput.getFilename()); in compareGraphicalDiffs()
107 public static void writeHTMLFile(String _sHTMLFile) in writeHTMLFile() method in DB