X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/d612d62cd04b713bb1057fd2e666365704aaf3d6..8df2e702cf3e5ed9b8433585b357bbcd9f0d623e:/configDefault/domtool.cfs

diff --git a/configDefault/domtool.cfs b/configDefault/domtool.cfs
index 90be237..d72df6f 100644
--- a/configDefault/domtool.cfs
+++ b/configDefault/domtool.cfs
@@ -9,6 +9,7 @@ val tmpDir : string
 (* Filesystem location for creating temporary directories *)
 
 (* Paths to standard UNIX utilities *)
+val cat : string
 val cp : string
 val diff : string
 val rm : string