ompl/ompl — pull request #36 by jvgomez (2014-09-27 23:55:38+00:00)
Title: Doc fix

Sorry about these pedantic changes, but there are thousands of Javier Gomez around the world, and just a few hundreds of Javier V Gomez. Also, forget all the other commits, I had my master completely messed up.