Implement // and quote.
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 17 Sep 2013 11:16:14 +0000 (12:16 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 17 Sep 2013 11:38:01 +0000 (12:38 +0100)
commit7967057ada774e1b953de38a8d73f6009ce602ef
treebaac495fce10ff4d87062ac8931c41cd2c46164a
parent55c3a7d9b2bffa53b519be5a319565e311f8d7e6
Implement // and quote.

These are just wrappers around Filename functions from the stdlib.
goaljobs.ml
goaljobs.mli