From d294ffff9a45310fc52428f400f074c746c1a1ee Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Jul 2002 22:09:17 +0000
Subject: New files.

---
 html/FAQ | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 html/FAQ

(limited to 'html/FAQ')

diff --git a/html/FAQ b/html/FAQ
new file mode 100644
index 00000000..c022d401
--- /dev/null
+++ b/html/FAQ
@@ -0,0 +1,4 @@
+<?php require('functions.php3');
+      fileshowmarkup("ProofGeneral/FAQ",
+		     "Frequently Asked Questions about using Proof General");
+?>
-- 
cgit v1.2.3