Searched refs:write_file (Results 1 – 2 of 2) sorted by relevance
29 sub write_file ($$) {59 write_file($file, $o);
234 sub write_file ($$) { subroutine320 write_file($outfile, $o);358 write_file("$outdir/index.html", $o);
Completed in 3 milliseconds