]> git.mdlowis.com Git - archive/tide-hl.git/commitdiff
projects / archive / tide-hl.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: bc5f917)
ignore tide-hl
authorMichael D. Lowis <mike@mdlowis.com>
Fri, 9 Mar 2018 02:35:21 +0000 (21:35 -0500)
committerMichael D. Lowis <mike@mdlowis.com>
Fri, 9 Mar 2018 02:35:21 +0000 (21:35 -0500)
.gitignore patch | blob | history

diff --git a/.gitignore b/.gitignore
index de82c248c603ac145ccb02b16986acc312afb542..463750a5a87dd425cf22aed20d9c119955d04a06 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 *.cm*
 *.o
 lex_*.ml
+tide-hl
Syntax highlighting engine for tide