mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 729c31 | patch | commitdiff
Mark Craig
02.43.2014 8731773e84ec65d3264d6dfb98d86100449e42ef
refs
author Mark Craig <mark.craig@forgerock.com>
Tuesday, September 2, 2014 07:43 +0200
committer Mark Craig <mark.craig@forgerock.com>
Tuesday, September 2, 2014 07:43 +0200
commit8731773e84ec65d3264d6dfb98d86100449e42ef
tree c5cbe9578cc9cc9e6668e3ac3a361ed1ffba4627 tree | zip | gz
parent 729c3173bcaf0e195dedbb9c6fcc1f2be786004b view | diff 
Update to latest version of the doc build tools
1 files modified
2 ■■■■■ changed files
opendj-sdk/opends/pom.xml 2 ●●●●● diff | view | raw | blame | history