generator.ml: add type: Dev_or_Path
authorJim Meyering <meyering@redhat.com>
Tue, 11 Aug 2009 15:38:05 +0000 (17:38 +0200)
committerJim Meyering <meyering@redhat.com>
Thu, 13 Aug 2009 12:45:34 +0000 (14:45 +0200)
commit1020246b278aade9671d12dae2554cf7538cf0de
tree79d86f1353c3d9da1cd299dddef8db28665cb43f
parent1f0810eb3a98cbfd347af59b6b9bc624ddff6028
generator.ml: add type: Dev_or_Path

* src/generator.ml (file, download): Use it.
src/generator.ml