From d01b227bac7c9b494e3ee5c7ac59eac3f18b697c Mon Sep 17 00:00:00 2001
From: Ramana Kumar
Date: Wed, 16 May 2018 16:23:01 +0100
Subject: Ignore .hollogs

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

diff --git a/.gitignore b/.gitignore
index e0f4d082..d57846d8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -23,6 +23,7 @@ language/*.dvi
 language/*.ps
 # HOL4
 .HOLMK
+.hollogs
 *Script.sml
 *Theory.dat
 *Theory.sig
-- 
cgit v1.2.3