generator: second parameter to upload is Dev_or_Path, not String.
authorRichard Jones <rjones@redhat.com>
Sun, 22 Nov 2009 19:14:19 +0000 (19:14 +0000)
committerRichard Jones <rjones@redhat.com>
Sun, 22 Nov 2009 19:14:19 +0000 (19:14 +0000)
commite496f30dc5fbfd2452f192b1f2c8dcfa075a55ed
tree54f1d86247def4681af92f55644bd628b8cad003
parenta7a88083f0c9d83828dc9154c1c053fcd735d9ba
generator: second parameter to upload is Dev_or_Path, not String.
src/generator.ml