summaryrefslogtreecommitdiffstats
path: root/generator/pr.mli
Commit message (Expand)AuthorAgeFilesLines
* generator: Remove generated and unused files from previous runs of the genera...Richard W.M. Jones2012-09-051-0/+4
* generator: Rename 'generator_*' as '*'.Richard W.M. Jones2012-09-021-0/+35