4 Commits

Author	SHA1	Message	Date
Milo Davis	c77cbcb30b	Data_encoding: use constant from ocplib-json-typed	2018-01-27 15:30:09 +01:00
Grégoire Henry	6e629584ff	Jbuilder: fix rule runtest_indent	2018-01-27 11:32:57 +01:00
Pietro	df746e606d	Indent: reindent with ocp-indent and fix the script	2018-01-25 15:01:12 +00:00
Pietro	d9405292a4	Move all packages to src/ ... Modify Makefile accordingly	2018-01-16 23:11:39 +01:00