[hcoop/zz_old/domtool2-proto.git] / configDefault / domtool.cfg

val libRoot = "/home/adamc/cvs/domtool2/lib"
val resultRoot = "/home/adamc/domtool"
val tmpDir = "/tmp"

val cp = "/bin/cp"
val diff = "/usr/bin/diff"
val rm = "/bin/rm"