mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: ecf016 | patch | commitdiff
Mark Craig
06.46.2014 2f95b72616a98165a2e85f1d711e654d857291e8
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
commit2f95b72616a98165a2e85f1d711e654d857291e8
tree 2e5f1e7b6bab9f04a75ad8aaa83e0ca887d00bf5 tree | zip | gz
parent ecf0167b3167e50b6b022b2711451a7fdae50f43 view | diff 
Replace workaround in doc build that is no longer needed
1 files modified
2 ■■■■■ changed files
opendj-sdk/opendj3-server-dev/pom.xml 2 ●●●●● diff | view | raw | blame | history