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 /src/expressions/show_ref.ml | |
| parent | bb48738c4111f5f4e2faa40fe67ae1b8b9d7c2eb (diff) | |
Update licence, add opam script
Diffstat (limited to 'src/expressions/show_ref.ml')
0 files changed, 0 insertions, 0 deletions