From bd1093c5f2d3257ec68cf9659284745331c3ff85 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Nov 1999 17:35:23 +0000
Subject: Ignore file for ProofGeneral link to ../.. for testing.

---
 html/.cvsignore | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 html/.cvsignore

(limited to 'html')

diff --git a/html/.cvsignore b/html/.cvsignore
new file mode 100644
index 00000000..d6e10bc1
--- /dev/null
+++ b/html/.cvsignore
@@ -0,0 +1 @@
+ProofGeneral
-- 
cgit v1.2.3