aboutsummaryrefslogtreecommitdiff
path: root/src/dune
AgeCommit message (Collapse)Author
2020-10-03Replace ocplib-json-typed by json-data-encodingAlban Gruin
ocplib-json-typed was superseeded by json-data-encoding. This replaces the former with the latter. Signed-off-by: Alban Gruin <alban@pa1ch.fr>
2020-09-13ucs: add command line parameters, powered by cmdlinerAlban Gruin
Signed-off-by: Alban Gruin <alban@pa1ch.fr>
2020-09-13course: convert html entities to unicode charactersAlban Gruin
Signed-off-by: Alban Gruin <alban@pa1ch.fr>
2020-09-12course: use Astring to split strings and to check for prefixesAlban Gruin
Signed-off-by: Alban Gruin <alban@pa1ch.fr>
2020-09-09course, ics: proper modules, proper datetime storageAlban Gruin
Signed-off-by: Alban Gruin <alban@pa1ch.fr>
2020-09-07ucs: first basic parser of json eventsAlban Gruin
Signed-off-by: Alban Gruin <alban@pa1ch.fr>
2020-09-06hello, worldAlban Gruin
Signed-off-by: Alban Gruin <alban@pa1ch.fr>