[ompl] 05/06: Not needed

[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 a103568f72f3f6f045ac45cf650977d6c7cbd92e
Author: Leopold Palomo <leopold.palomo at upc.edu>
Date:   Wed May 28 12:37:11 2014 +0200

    Not needed
---
 debian/ompl-demos.manpages | 1 -
 1 file changed, 1 deletion(-)

diff --git a/debian/ompl-demos.manpages b/debian/ompl-demos.manpages
deleted file mode 100644
index 0e1adb2..0000000
--- a/debian/ompl-demos.manpages
+++ /dev/null
@@ -1 +0,0 @@
-usr/share/man/man1/ompl_benchmark_statistics.1
\ No newline at end of file

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