5 Commits

Author	SHA1	Message	Date
Raphaël Proust	e02ba41a65	Tooling: do not enter _opam when fixing indent	2018-10-10 18:49:09 +02:00
Grégoire Henry	2a85c34c67	Indentation fixes	2018-05-25 16:47:48 +02:00
Pietro	f6dbdf7ac3	Test: fix make fix-indent erase all problem	2018-03-22 13:51:06 +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