[ompl] 05/05: Drop old file

[Leopold Palomo-Avellaneda]

This is an automated email from the git hooks/post-receive script.

lepalom-guest pushed a commit to branch master
in repository ompl.

commit 239b2c7c0fb816708e8fe4eca716cdd714774e2a
Author: Leopold Palomo-Avellaneda <leo at alaxarxa.net>
Date:   Wed Mar 15 16:23:23 2017 +0100

    Drop old file
---
 debian/libompl12.install | 2 --
 1 file changed, 2 deletions(-)

diff --git a/debian/libompl12.install b/debian/libompl12.install
deleted file mode 100644
index f6ad689..0000000
--- a/debian/libompl12.install
+++ /dev/null
@@ -1,2 +0,0 @@
-usr/lib/*/lib*.so.*
-

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/ompl.git