summaryrefslogtreecommitdiff
path: root/setup.ml
AgeCommit message (Expand)Author
2017-01-06Add oasis-generated files.Daniil Baturin
2016-12-08Do not keep setup.ml in git, for now at least.Daniil Baturin
2015-02-02Add basic oasis build setup.Daniil Baturin