From 50216e4c28eabcb01ffedb65f46ddaa232afff4b Mon Sep 17 00:00:00 2001 From: "Michael D. Lowis" Date: Tue, 29 Aug 2017 08:37:40 -0400 Subject: [PATCH] general cleanup --- .gitignore | 1 + edit.ml | 2 -- 2 files changed, 1 insertion(+), 2 deletions(-) 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 -- 2.49.0