summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-11-03 19:52:31 +0100
committerPhilipp Gesang <phg@phi-gamma.net>2018-11-03 19:53:09 +0100
commit2a999d7988d886b5e887988c68095addbbf9a794 (patch)
tree3eabf879cf5bf06bf3e2cc13d33b57e2b1ff3fcd /.gitignore
parent90222b8fa7d6c7967155d556aa9c73109fd7e03e (diff)
downloadocaml-sid-2a999d7988d886b5e887988c68095addbbf9a794.tar.gz
add linking exception to license
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions