From: Michael D. Lowis Date: Tue, 29 Aug 2017 12:37:40 +0000 (-0400) Subject: general cleanup X-Git-Url: https://git.mdlowis.com/?a=commitdiff_plain;h=50216e4c28eabcb01ffedb65f46ddaa232afff4b;p=archive%2Ftide-ocaml.git general cleanup --- diff --git a/.gitignore b/.gitignore index a1a1183..a8a2c49 100644 --- a/.gitignore +++ b/.gitignore @@ -7,3 +7,4 @@ *.a edit dlltide.so +deps.mk diff --git a/edit.ml b/edit.ml index 5663a11..ccee621 100644 --- a/edit.ml +++ b/edit.ml @@ -1,5 +1,3 @@ -open Tide - let () = let server = Tide.start_server () in let nargs = Array.length Sys.argv in