mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 1a6333 | patch | commitdiff
Mark Craig
20.11.2011 4a01d30d061e551ac33445a4b2982595c963ee3d
refs
author Mark Craig <mark.craig@forgerock.com>
Friday, May 20, 2011 08:11 +0200
committer Mark Craig <mark.craig@forgerock.com>
Friday, May 20, 2011 08:11 +0200
commit4a01d30d061e551ac33445a4b2982595c963ee3d
tree 0ec4a8be469d7a5071c757ed2150fb565fd7a001 tree | zip | gz
parent 1a6333c195dfe5bf7061ad6e4a104e72570d1161 view | diff 
Fix OPENDJ-162: Move to docbkx-tools 2.0.13 stable version.
1 files modified
2 ■■■■■ changed files
opendj3/opendj-docs/pom.xml 2 ●●●●● diff | view | raw | blame | history