3 Commits

Author	SHA1	Message	Date
Grégoire Henry	bfb2d223c0	opam: fix sandboxed scripts	2018-01-22 09:20:46 +01:00
Grégoire Henry	525b09259f	Fix d9405292a4	2018-01-18 16:08:20 +01:00
Pietro	d9405292a4	Move all packages to src/ ... Modify Makefile accordingly	2018-01-16 23:11:39 +01:00