aboutsummaryrefslogtreecommitdiffhomepage
path: root/.gitignore
diff options
context:
space:
mode:
authorGravatar Matej Kosik <m4tej.kosik@gmail.com>2016-07-11 16:41:35 +0200
committerGravatar Matej Kosik <m4tej.kosik@gmail.com>2016-07-12 10:08:32 +0200
commit8eccc93ddcd94eda6b027d62d882ea256fea58ba (patch)
tree451b114244a7a64585afbaf00d014d05ef935326 /.gitignore
parent8cd4ad9e333169c2a9c222cb34a2199ccba56fa4 (diff)
removing ocamldoc-related syntax errors
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions