sh: Add optional ?tmpdir parameter to control tmpdir creation.
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 20 Sep 2013 14:01:14 +0000 (15:01 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 20 Sep 2013 14:01:14 +0000 (15:01 +0100)
commite945605c6b1db3490c81a1434824151e8854dff6
tree47dde390dcd01a77de5fefa8c8482c4d70f362a9
parenta9db63637ecbc5a5a84ae62de74d0bcbd285343a
sh: Add optional ?tmpdir parameter to control tmpdir creation.
goaljobs.ml
goaljobs.mli