[ompl] 12/18: Added man page

[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 4f8e833d1a3a640d4779629da1f46d6334c06240
Author: Leopold Palomo-Avellaneda <leo at alaxarxa.net>
Date:   Fri Jan 27 15:24:49 2017 +0100

    Added man page
---
 debian/ompl-demos.install | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/ompl-demos.install b/debian/ompl-demos.install
index b1c53e1..3443c34 100755
--- a/debian/ompl-demos.install
+++ b/debian/ompl-demos.install
@@ -2,4 +2,4 @@
 usr/share/ompl/demos/*
 usr/bin/ompl_benchmark_statistics.py => usr/bin/ompl_benchmark_statistics
 usr/share/man/man1/ompl_benchmark_statistics.1
-
+usr/share/man/man1/plannerarena.1

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