diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2018-11-06 14:22:42 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2018-11-06 14:22:42 +0100 |
| commit | 372fc7cd22be767e332a8e22266ea8209bdd5e75 (patch) | |
| tree | e2331616439b824643a2b0f5cdb46e2f86b35a95 /.gitignore | |
| parent | aeb05e247128d00681fcf2b25baa589743e44768 (diff) | |
| download | ocaml-sid-372fc7cd22be767e332a8e22266ea8209bdd5e75.tar.gz | |
readme: add sections describing build and dev repo
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions