sh: Add optional ?tmpdir parameter to control tmpdir creation.
[goaljobs.git] / goaljobs_config.ml.in
2013-09-17 Richard W.M. JonesRename config.ml -> goaljobs_config.ml to avoid conflic...