X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/d189ec0eee8569e5811335e7fc93a921e14c2b1f..d612d62cd04b713bb1057fd2e666365704aaf3d6:/configDefault/domtool.cfg?ds=sidebyside diff --git a/configDefault/domtool.cfg b/configDefault/domtool.cfg index 79fab00..aed3b0b 100644 --- a/configDefault/domtool.cfg +++ b/configDefault/domtool.cfg @@ -1,2 +1,7 @@ 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"