4 Commits

Author	SHA1	Message	Date
Tom Jack	172038cef0	Kill warning 45 by reusing Pervasives.result for Trace	2019-12-18 21:20:35 +00:00
galfour	33101820ec	add set tests	2019-07-19 14:35:47 +02:00
Galfour	8c81432281	modify trace; oldify multifix	2019-06-03 10:33:13 +00:00
Georges Dupéron	7c8c6515b8	move before merging repositories	2019-05-27 11:08:26 +02:00