goaljobs: sh: ~tmpdir default should be true not false.
[goaljobs.git] / goaljobs_config.ml.in
2013-09-17 Richard W.M. JonesRename config.ml -> goaljobs_config.ml to avoid conflic...