CR-2986 Fix for OPENDJ-1336: Clean up version properties used for docs

Mark Craig

11.08.2014 129571c830672973ef94712643f4e42a191f9a38

1
2
DocBook XML source for OpenDJ core user documentation. Java API and
configuration reference documentation is generated from OpenDJ source code.