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 |