From 9ac5e8b81cdc428d78979aade3fed309a4d80353 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Jun 1999 13:39:58 +0000
Subject: Deleted files.

---
 doc/ProofGeneral.txt | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 doc/ProofGeneral.txt

(limited to 'doc')

diff --git a/doc/ProofGeneral.txt b/doc/ProofGeneral.txt
deleted file mode 100644
index e69de29b..00000000
-- 
cgit v1.2.3