summaryrefslogtreecommitdiff
path: root/src/settings.sml
Commit message (Expand)AuthorAge
...
* Path rewritingGravatar Adam Chlipala2009-05-02
* More FFI compiler optionsGravatar Adam Chlipala2009-05-02
* Successfully influenced effectful-ness status of FFI funcGravatar Adam Chlipala2009-05-02
* C FFI compiler optionsGravatar Adam Chlipala2009-04-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 08:19:24 +0000