summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-12-09 21:29:09 +0100
committerPhilipp Gesang <phg@phi-gamma.net>2018-12-09 21:29:09 +0100
commit4a754036826405dd488b0718315b434c9cb726d0 (patch)
tree339d4f6eda5340fcff5dc141639e6100996bd143 /.gitignore
parent5835b73456898c7bd48d3ed9ec2539c1b560f9b8 (diff)
downloadocaml-sid-4a754036826405dd488b0718315b434c9cb726d0.tar.gz
doc: outline usage
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions