mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: d109b4 | patch | commitdiff
Mark Craig
19.05.2012 ae471b4fc669e2efeee516da2d8890db663977d7
refs
author Mark Craig <mark.craig@forgerock.com>
Monday, March 19, 2012 14:05 +0100
committer Mark Craig <mark.craig@forgerock.com>
Monday, March 19, 2012 14:05 +0100
commitae471b4fc669e2efeee516da2d8890db663977d7
tree a66e75c2f3e91e623cdc0b71375896ccf6e99a33 tree | zip | gz
parent d109b49627501575f3c8a9da429f72097601615f view | diff 
Use latest doc build plugin snapshot
1 files modified
2 ■■■■■ changed files
opendj3/pom.xml 2 ●●●●● diff | view | raw | blame | history