generator.ml: define new String-like type: "Device"
authorJim Meyering <meyering@redhat.com>
Mon, 10 Aug 2009 16:17:05 +0000 (18:17 +0200)
committerJim Meyering <meyering@redhat.com>
Thu, 13 Aug 2009 12:45:33 +0000 (14:45 +0200)
commitdd449ffba1a5fb3373d847ee1d7b26e9df3ccb1c
tree6c389515d3989948a0f5e6cbb6d6955e65841c70
parentda90c9d8761caced81b9cf7d6e41180afa53ecb9
generator.ml: define new String-like type: "Device"
src/generator.ml