mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 0093f3 | patch | commitdiff
Mark Craig
06.46.2014 11bd66a017f320a56afd9fb19facd026eaad37be
refs
author Mark Craig <mark.craig@forgerock.com>
Monday, October 6, 2014 11:46 +0200
committer Mark Craig <mark.craig@forgerock.com>
Monday, October 6, 2014 11:46 +0200
commit11bd66a017f320a56afd9fb19facd026eaad37be
tree 09f411e88eb48c5d5a808d4218a8ef41ceab05c6 tree | zip | gz
parent 0093f3526b3e3427a6a8a0e4a97a6b27f7906bb8 view | diff 
Replace workaround in doc build that is no longer needed
1 files modified
2 ■■■■■ changed files
opendj3-server-dev/pom.xml 2 ●●●●● diff | view | raw | blame | history