From: Michael D. Lowis <mike@mdlowis.com>
Date: Fri, 9 Mar 2018 02:35:21 +0000 (-0500)
Subject: ignore tide-hl
X-Git-Url: https://git.mdlowis.com/?a=commitdiff_plain;h=ec7a8ad85dd625ef4ce3fed3386993f49c08fcc9;p=archive%2Ftide-hl.git

ignore tide-hl
---

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