6 commits

Author	SHA1	Message	Date
Simon Cruanes	044cbf0c20	prepare for 0.13	2015-09-23 16:26:07 +02:00
Simon Cruanes	783c9cf808	add CCOpt.choice_seq	2015-09-02 22:12:31 +02:00
Simon Cruanes	3d7035e84f	add CCOpt.print	2015-09-02 21:05:17 +02:00
Simon Cruanes	8f33484dff	prepare 0.11	2015-05-24 21:40:31 +02:00
Simon Cruanes	7e5161f94f	add CCOpt.is_none	2015-05-24 21:38:37 +02: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/CCOpt.mli (Browse further)