diff options
| -rw-r--r-- | src/ucs.ml | 2 | 
1 files changed, 1 insertions, 1 deletions
| @@ -69,4 +69,4 @@ let server =    Server.create ~mode:(`TCP (`Port 8080)) (Server.make ~callback ())  let () = -  ignore @@ Lwt_main.run server +  Lwt_main.run server | 
|  | index : ucs | |
| micro celcatsanitizer: parce que les emplois du temps lisibles, c'est surcôté | Alban Gruin | 
| aboutsummaryrefslogtreecommitdiff | 
| -rw-r--r-- | src/ucs.ml | 2 | 
| @@ -69,4 +69,4 @@ let server =    Server.create ~mode:(`TCP (`Port 8080)) (Server.make ~callback ())  let () = -  ignore @@ Lwt_main.run server +  Lwt_main.run server |