summaryrefslogtreecommitdiff
path: root/_oasis
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-11-06 14:22:42 +0100
committerPhilipp Gesang <phg@phi-gamma.net>2018-11-06 14:22:42 +0100
commit372fc7cd22be767e332a8e22266ea8209bdd5e75 (patch)
treee2331616439b824643a2b0f5cdb46e2f86b35a95 /_oasis
parentaeb05e247128d00681fcf2b25baa589743e44768 (diff)
downloadocaml-sid-372fc7cd22be767e332a8e22266ea8209bdd5e75.tar.gz
readme: add sections describing build and dev repo
Diffstat (limited to '_oasis')
0 files changed, 0 insertions, 0 deletions