aboutsummaryrefslogtreecommitdiff
path: root/stub/Makefile
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2018-02-12 15:22:56 +0100
committerSébastien Dailly <sebastien@chimrod.com>2018-02-12 15:22:56 +0100
commit5f94836f4d1adca31c502706831b9ac600c3f41f (patch)
tree4e00c09f198667bfb88965d8c9535e23dc70bbf1 /stub/Makefile
parentbb48738c4111f5f4e2faa40fe67ae1b8b9d7c2eb (diff)
Update licence, add opam script
Diffstat (limited to 'stub/Makefile')
0 files changed, 0 insertions, 0 deletions