From 654133b47df896e4ca074502aa5dcf74f8beac30 Mon Sep 17 00:00:00 2001
From: notin
Date: Fri, 9 Jun 2006 16:59:42 +0000
Subject: Suppression du répertoire distrib: il fait désormais partie du projet
 coq-dev-tools sur GForge

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8943 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/debian/docs | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 distrib/debian/docs

(limited to 'distrib/debian/docs')

diff --git a/distrib/debian/docs b/distrib/debian/docs
deleted file mode 100644
index 62998f27c7..0000000000
--- a/distrib/debian/docs
+++ /dev/null
@@ -1,3 +0,0 @@
-README
-CREDITS
-CHANGES
-- 
cgit v1.2.3