diff options
author | Alban Gruin | 2020-09-12 14:00:54 +0200 |
---|---|---|
committer | Alban Gruin | 2020-09-12 14:00:54 +0200 |
commit | 31fa3ca1b6511b912beea7cd658ffe5a31048a6b (patch) | |
tree | 6b9bafdad331c5ed95905510a133f5ad9b95592b /src/dune | |
parent | 216d0af10e49bd74a66aaad34475c5ef525e09b7 (diff) |
course: use Astring to split strings and to check for prefixes
Signed-off-by: Alban Gruin <alban at pa1ch dot fr>
Diffstat (limited to 'src/dune')
-rw-r--r-- | src/dune | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,6 +1,7 @@ (executable (name ucs) - (libraries calendar + (libraries astring + calendar lwt.unix cohttp-lwt-unix ezjsonm |