mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 153369 | patch | commitdiff
Mark Craig
20.11.2011 414728494621b613e3603af66cc0902757c8dd11
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
commit414728494621b613e3603af66cc0902757c8dd11
tree c546e284a6e17e4219ef0cd08bc0f2c5a3054068 tree | zip | gz
parent 15336903af96db8da65b7527aa65c821b562dd53 view | diff 
Fix OPENDJ-162: Move to docbkx-tools 2.0.13 stable version.
1 files modified
2 ■■■■■ changed files
opendj-sdk/opendj3/opendj-docs/pom.xml 2 ●●●●● diff | view | raw | blame | history