Stephane Nicoll aeeade2ed5 Merge missed documentation update ...

Cherry pick documentation updates which appear to have been
lost during a previous merge.

Fixes gh-1523
Cheery-picked from 16c2477d

2014-09-17 11:20:56 -07:00

..

src/main

Merge missed documentation update

2014-09-17 11:20:56 -07:00

pom.xml

Next development version

2014-09-04 12:15:18 -07:00