diff options
Diffstat (limited to 'src/dune')
-rw-r--r-- | src/dune | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,2 +1,3 @@ (executable - (name ucs)) + (name ucs) + (libraries lwt.unix cohttp-lwt-unix ezjsonm ocplib-json-typed)) |
![]() |
index : ucs | |
micro celcatsanitizer: parce que les emplois du temps lisibles, c'est surcôté | Alban Gruin |
aboutsummaryrefslogtreecommitdiff |