From b3a0e57ffb89ffbe4e51f2bb2043a49a51dd2ec5 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <samuel.mimram@ens-lyon.org>
Date: Fri, 25 Mar 2005 14:34:05 +0000
Subject: Corrected a small mistake.

---
 debian/coq.dirs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'debian/coq.dirs')

diff --git a/debian/coq.dirs b/debian/coq.dirs
index 719fd80d..1166b157 100644
--- a/debian/coq.dirs
+++ b/debian/coq.dirs
@@ -3,4 +3,3 @@ usr/lib
 usr/lib/coq
 usr/share/man/man1
 usr/share/pixmaps
-ide/utf8.v
-- 
cgit v1.2.3