From b7948659ad6fbed56926f1c133c63ef4f4bda6e8 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 26 Mar 2022 19:56:23 +0000
Subject: [PATCH] Ignore Isabelle/JEdit tmp files.

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

diff --git a/.gitignore b/.gitignore
index 90a219de..a0e989c8 100755
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 output
 .afp
 *~
+*#