mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 8d98d6 | patch | commitdiff
Mark Craig
12.30.2015 ca24c503de081b842357513302d0a57fa0050cd5
refs
author Mark Craig <mark.craig@forgerock.com>
Thursday, February 12, 2015 13:30 +0100
committer Mark Craig <mark.craig@forgerock.com>
Thursday, February 12, 2015 13:30 +0100
commitca24c503de081b842357513302d0a57fa0050cd5
tree 4d85ce1b3bbe357b0791054a9742ef0f7b631782 tree | zip | gz
parent 8d98d66a588015d4f8c4fc9c77a2a1ba9544689c view | diff 
Fix build for server docs, including broken redirects
2 files modified
66 ■■■■■ changed files
opendj-server-legacy/pom.xml 2 ●●●●● diff | view | raw | blame | history
src/site/resources/.htaccess 64 ●●●●● diff | view | raw | blame | history