summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Samuel Mimram <samuel.mimram@ens-lyon.org>2004-07-16 18:19:47 +0000
committerGravatar Samuel Mimram <samuel.mimram@ens-lyon.org>2004-07-16 18:19:47 +0000
commitc652c4702cf18354cbc7b9b4f5b9677658c5035f (patch)
treeebb2d4141f39caa7e7d3a5b8ac6d16e50d1d8841
parent1cecfc7435b33dc87837fa8ee364a64b9148d62d (diff)
Added coqide faq.
-rw-r--r--debian/coqide.docs1
1 files changed, 1 insertions, 0 deletions
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