[ompl] 02/06: Merge tag 'upstream/1.0.0+ds2'

[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 3bccd9912beeeaa82b33ebc79ba717fe2e3b139f
Merge: 1ef049b a09584c
Author: Leopold Palomo-Avellaneda <leopold.palomo at upc.edu>
Date:   Mon Oct 19 16:45:14 2015 +0200

    Merge tag 'upstream/1.0.0+ds2'
    
    Upstream version 1.0.0+ds2

 doc/js/bootstrap.min.js       | 6 ------
 doc/js/jquery.js              | 4 ----
 doc/js/jquery.powertip.min.js | 8 --------
 3 files changed, 18 deletions(-)

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