7 commits

Author	SHA1	Message	Date
Guillaume Bury	03f3457f6d	Add CCCache.add	2017-11-01 03:25:08 +01:00
Simon Cruanes	bedf9ecc1e	prepare for 1.3	2017-07-29 18:08:58 +02:00
Simon Cruanes	debf586db5	add callbacks in CCCache.with_cache{,_rec} (closes #140)	2017-07-04 16:25:28 +02:00
Simon Cruanes	aab19f6a50	update headers; reindent	2017-07-04 13:13:24 +02:00
Simon Cruanes	03fd42e67d	reindentation	2017-01-25 00:08:12 +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/CCCache.mli (Browse further)