From c652c4702cf18354cbc7b9b4f5b9677658c5035f Mon Sep 17 00:00:00 2001
From: Samuel Mimram <samuel.mimram@ens-lyon.org>
Date: Fri, 16 Jul 2004 18:19:47 +0000
Subject: Added coqide faq.

---
 debian/coqide.docs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/coqide.docs b/debian/coqide.docs
index 6fcc323e..3a260c89 100644
--- a/debian/coqide.docs
+++ b/debian/coqide.docs
@@ -1 +1,2 @@
 ide/FAQ
+ide/utf8.v
-- 
cgit v1.2.3