generator: List files generated in a separate file.
authorRichard W.M. Jones <rjones@redhat.com>
Sun, 12 Dec 2010 23:18:26 +0000 (23:18 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Sun, 12 Dec 2010 23:19:36 +0000 (23:19 +0000)
commitdec770f171329868081985ca0aa3d52eb3759935
tree0beb81b58eda78d7bf288d0b9a2d659db903dca4
parent9aacbe712d1326cff05a7343cf4603df38e96ef7
generator: List files generated in a separate file.
.gitignore
generator/Makefile.am
generator/generator_main.ml
generator/generator_pr.ml
generator/generator_pr.mli