From ec7a8ad85dd625ef4ce3fed3386993f49c08fcc9 Mon Sep 17 00:00:00 2001
From: "Michael D. Lowis" <mike@mdlowis.com>
Date: Thu, 8 Mar 2018 21:35:21 -0500
Subject: [PATCH] ignore tide-hl

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index de82c24..463750a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 *.cm*
 *.o
 lex_*.ml
+tide-hl
-- 
2.55.0