summaryrefslogtreecommitdiff
path: root/driver/optmaindriver.mli
Commit message (Expand)AuthorAgeFilesLines
* Move code of main and optmain to compilerlibsStephen Dolan2020-06-301-0/+21