Searched refs:simple_copy (Results 1 – 1 of 1) sorted by relevance
438 $this->simple_copy($base, $dest);494 function simple_copy($base, $dest) { function in config_plugin_texit536 $this->simple_copy($base, $destfn);539 $this->simple_copy($base, $destfn);542 $this->simple_copy($base, $destfn);649 $this->simple_copy($pdftexitfn, $pdfmediafn);