mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 6805b3 | patch | commitdiff
Mark Craig
12.30.2015 fe8704136df7dc1975c678064df80360af8236fa
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
commitfe8704136df7dc1975c678064df80360af8236fa
tree 18b18b01a1c15e36d483fc26592a88c7bcc8d61c tree | zip | gz
parent 6805b3cb4a3c21abf906dfd6425c9834948e10f9 view | diff 
Fix build for server docs, including broken redirects
2 files modified
66 ■■■■■ changed files
opendj-sdk/opendj-server-legacy/pom.xml 2 ●●●●● diff | view | raw | blame | history
opendj-sdk/src/site/resources/.htaccess 64 ●●●●● diff | view | raw | blame | history