From 742db32948e6c60770d6616496917077a1386dbc Mon Sep 17 00:00:00 2001 From: Alban Gruin Date: Sun, 13 Sep 2020 16:34:44 +0200 Subject: course: convert html entities to unicode characters Signed-off-by: Alban Gruin --- src/dune | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/dune') diff --git a/src/dune b/src/dune index 1a1135a..c29403a 100644 --- a/src/dune +++ b/src/dune @@ -2,7 +2,9 @@ (name ucs) (libraries astring calendar - lwt.unix cohttp-lwt-unix ezjsonm - ocplib-json-typed)) + lwt.unix + ocplib-json-typed + re + stringext)) -- cgit v1.2.1