ucs/src/dune, branch trunk micro celcatsanitizer: parce que les emplois du temps lisibles, c'est surcôté ucs: use the version name from dune 2020-12-30T16:40:39+00:00 Alban Gruin 2020-12-30T15:38:15+00:00 8dff924f4d598da653794e29fb9929017e161aa3 Signed-off-by: Alban Gruin <alban@pa1ch.fr> 
Signed-off-by: Alban Gruin <alban@pa1ch.fr>
Replace ocplib-json-typed by json-data-encoding 2020-10-03T09:14:18+00:00 Alban Gruin 2020-10-03T09:14:18+00:00 d036a80e83789485235375078f7df972f20286a2 ocplib-json-typed was superseeded by json-data-encoding. This replaces the former with the latter. Signed-off-by: Alban Gruin <alban@pa1ch.fr> 
ocplib-json-typed was superseeded by json-data-encoding.  This replaces
the former with the latter.

Signed-off-by: Alban Gruin <alban@pa1ch.fr>
ucs: add command line parameters, powered by cmdliner 2020-09-13T18:14:10+00:00 Alban Gruin 2020-09-13T18:13:32+00:00 ebd49001ab9c844eaba52a19f6387dfb2a0da7af Signed-off-by: Alban Gruin <alban@pa1ch.fr> 
Signed-off-by: Alban Gruin <alban@pa1ch.fr>
course: convert html entities to unicode characters 2020-09-13T14:42:20+00:00 Alban Gruin 2020-09-13T14:34:44+00:00 742db32948e6c60770d6616496917077a1386dbc Signed-off-by: Alban Gruin <alban@pa1ch.fr> 
Signed-off-by: Alban Gruin <alban@pa1ch.fr>
course: use Astring to split strings and to check for prefixes 2020-09-12T12:00:54+00:00 Alban Gruin 2020-09-12T12:00:54+00:00 31fa3ca1b6511b912beea7cd658ffe5a31048a6b Signed-off-by: Alban Gruin <alban@pa1ch.fr> 
Signed-off-by: Alban Gruin <alban@pa1ch.fr>
course, ics: proper modules, proper datetime storage 2020-09-09T19:51:22+00:00 Alban Gruin 2020-09-09T19:00:29+00:00 d4c1438505ff79e3607ed5d2eb2ee8fbe203b298 Signed-off-by: Alban Gruin <alban@pa1ch.fr> 
Signed-off-by: Alban Gruin <alban@pa1ch.fr>
ucs: first basic parser of json events 2020-09-07T20:14:41+00:00 Alban Gruin 2020-09-07T20:14:41+00:00 3d4eb7a389c19c78f3130b4809c7beb33cadfc41 Signed-off-by: Alban Gruin <alban@pa1ch.fr> 
Signed-off-by: Alban Gruin <alban@pa1ch.fr>
hello, world 2020-09-06T21:01:35+00:00 Alban Gruin 2020-09-06T21:01:35+00:00 60e2ec47ba457187ac33fb41206f35af11eb9a99 Signed-off-by: Alban Gruin <alban@pa1ch.fr> 
Signed-off-by: Alban Gruin <alban@pa1ch.fr>