diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2018-02-12 15:22:56 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2018-02-12 15:22:56 +0100 |
| commit | 5f94836f4d1adca31c502706831b9ac600c3f41f (patch) | |
| tree | 4e00c09f198667bfb88965d8c9535e23dc70bbf1 /.gitignore | |
| parent | bb48738c4111f5f4e2faa40fe67ae1b8b9d7c2eb (diff) | |
Update licence, add opam script
Diffstat (limited to '.gitignore')
| -rwxr-xr-x | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -6,3 +6,4 @@ _build/ *.o *.so *.a +licht |