From 2a78ddc733340a72351df09a12ce4fc695b93de7 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Mon, 27 Jul 2020 14:31:09 +0200
Subject: update .gitignore

---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index fb8160e..82f42f5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,4 @@
 *~
 \#*.thy#
 \#*.ML#
-Test.thy
 
-- 
cgit v1.2.3