diff options
| author | Alban Gruin | 2020-10-03 11:14:18 +0200 |
|---|---|---|
| committer | Alban Gruin | 2020-10-03 11:14:18 +0200 |
| commit | d036a80e83789485235375078f7df972f20286a2 (patch) | |
| tree | 1ffd96679ed10a7971251ddf75bb49450f8d3f91 /src/course.ml | |
| parent | 45454dcb16567dd5bc58e90fcca41a05013b7ab6 (diff) | |
Replace ocplib-json-typed by json-data-encoding
ocplib-json-typed was superseeded by json-data-encoding. This replaces
the former with the latter.
Signed-off-by: Alban Gruin <alban at pa1ch dot fr>
Diffstat (limited to 'src/course.ml')
0 files changed, 0 insertions, 0 deletions