5 Commits

Author	SHA1	Message	Date
Georges Dupéron	28d3bc8c3f	Merge repository ligo-opam-repository	2019-05-27 11:54:29 +02:00
Georges Dupéron	22b331dbed	Added tests to build, fixed some unused variables.	2019-05-15 15:17:04 +02:00
Georges Dupéron	c43570a82d	Move into src/; add vendors/ subfolder, add CI script.	2019-05-14 17:53:44 +02:00
Galfour	b1711ca86d	initial commit	2019-05-12 21:13:37 +00:00
Galfour	1edfd8ea06	initial commit	2019-05-12 20:57:30 +00:00