Commit graph

4 commits

Author SHA1 Message Date
fc66140a5b Few minor changes 2017-03-07 00:06:11 +01:00
477f7dc5a8 Few updates 2016-10-31 16:51:09 +01:00
e90b8713df opam 2016-09-04 15:04:54 +02:00
66e2ecab7a Initial 2016-09-04 13:58:13 +02:00