Age | Commit message (Expand) | Author |
---|---|---|
2020-10-03 | Replace ocplib-json-typed by json-data-encoding | Alban Gruin |
2020-09-13 | ucs: add command line parameters, powered by cmdliner | Alban Gruin |
2020-09-13 | course: convert html entities to unicode characters | Alban Gruin |
2020-09-12 | course: use Astring to split strings and to check for prefixes | Alban Gruin |
2020-09-09 | course, ics: proper modules, proper datetime storage | Alban Gruin |
2020-09-07 | ucs: first basic parser of json events | Alban Gruin |
2020-09-06 | hello, world | Alban Gruin |