[SCM] Git Repository for packaging Poly/ML (http://www.polyml.org) branch, master, updated. debian/5.2-3-26-g08d7088

[Lionel Elie Mamane]

The following commit has been merged in the master branch:
commit cb5a52ecdde0f36d477622b1a5df7d1555f50fcc
Author: Lionel Elie Mamane <lionel at mamane.lu>
Date:   Thu Sep 3 15:58:30 2009 +0200

    no need to precreate directories, dh_install does that

diff --git a/debian/dirs b/debian/dirs
deleted file mode 100644
index 527b78f..0000000
--- a/debian/dirs
+++ /dev/null
@@ -1,2 +0,0 @@
-usr/bin
-usr/lib
diff --git a/debian/libpolyml-dev.dirs b/debian/libpolyml-dev.dirs
deleted file mode 100644
index 6845771..0000000
--- a/debian/libpolyml-dev.dirs
+++ /dev/null
@@ -1 +0,0 @@
-usr/lib
diff --git a/debian/libpolyml1.dirs b/debian/libpolyml1.dirs
deleted file mode 100644
index 6845771..0000000
--- a/debian/libpolyml1.dirs
+++ /dev/null
@@ -1 +0,0 @@
-usr/lib

-- 
Git Repository for packaging Poly/ML (http://www.polyml.org)