Commit graph

5 commits

Author SHA1 Message Date
Simon Cruanes
b7b6bd19a3 deprecate CCBool.negate 2017-07-21 15:02:27 +02:00
Simon Cruanes
13b283a91d remove buffer printers, rename pretty-printers to pp 2016-11-03 18:24:11 +01:00
Simon Cruanes
34445bead0 replace headers in the rest of containers core 2016-02-20 23:24:24 +01:00
Fourchaux
44387de784 Correction typos (fichiers src) 2015-11-08 22:27:59 +01:00
Simon Cruanes
61465fa19a remove cgi/; move sub-libraries to their own subdir each; mv everything into src/ 2014-12-16 23:41:59 +01:00
Renamed from core/CCBool.ml (Browse further)