From 5f94836f4d1adca31c502706831b9ac600c3f41f Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Mon, 12 Feb 2018 15:22:56 +0100
Subject: Update licence, add opam script

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 884e8f0..9e294ce 100755
--- a/.gitignore
+++ b/.gitignore
@@ -6,3 +6,4 @@ _build/
 *.o
 *.so
 *.a
+licht
-- 
cgit v1.2.3