Misc parameters which are String but should be Pathname.
authorRichard Jones <rjones@trick.home.annexia.org>
Thu, 13 Aug 2009 13:41:52 +0000 (14:41 +0100)
committerRichard Jones <rjones@trick.home.annexia.org>
Thu, 13 Aug 2009 13:59:24 +0000 (14:59 +0100)
commit77b9dc04cf336e751287837fa35390d875b22e4b
tree61b241953051f8846cf5e55c3719d30eecc18626
parentdcd67e2c4e81bb270ea7f5ed8b6675b114afca60
Misc parameters which are String but should be Pathname.
src/generator.ml