summaryrefslogtreecommitdiff
path: root/compiler/Config.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Implement a Config.ml file which groups all the global options in referencesSon Ho2022-11-101-0/+192