diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2018-11-03 19:52:31 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2018-11-03 19:53:09 +0100 |
| commit | 2a999d7988d886b5e887988c68095addbbf9a794 (patch) | |
| tree | 3eabf879cf5bf06bf3e2cc13d33b57e2b1ff3fcd /.gitignore | |
| parent | 90222b8fa7d6c7967155d556aa9c73109fd7e03e (diff) | |
| download | ocaml-sid-2a999d7988d886b5e887988c68095addbbf9a794.tar.gz | |
add linking exception to license
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions