[ompl] 02/06: Merge tag 'upstream/0.14.2+dfsg'

[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 24a9ec550a98ece31107d73ed452e64b12cb9763
Merge: 2c1a54e b5914d3
Author: Leopold Palomo <leopold.palomo at upc.edu>
Date:   Wed May 28 10:44:08 2014 +0200

    Merge tag 'upstream/0.14.2+dfsg'
    
    Upstream version 0.14.2+dfsg

 doc/js/dynsections.js      |  78 -----
 doc/js/gen_validatorv31.js | 808 ---------------------------------------------
 2 files changed, 886 deletions(-)

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