From 4cc16f522c193923b93d38d637a6dcae1e1a96b7 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Mon, 28 Jul 2008 15:54:36 +0200 Subject: ide/utf8.v is not there anymore (moved to theories) --- debian/coq.docs | 1 - 1 file changed, 1 deletion(-) delete mode 100644 debian/coq.docs (limited to 'debian/coq.docs') diff --git a/debian/coq.docs b/debian/coq.docs deleted file mode 100644 index 9b2bbcd7..00000000 --- a/debian/coq.docs +++ /dev/null @@ -1 +0,0 @@ -ide/utf8.v -- cgit v1.2.3