mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: fe858f | patch | commitdiff
Mark Craig
08.14.2012 7658c0bbd83d49a1cdaaf116a2c8af823a5b3881
refs
author Mark Craig <mark.craig@forgerock.com>
Wednesday, February 8, 2012 09:14 +0100
committer Mark Craig <mark.craig@forgerock.com>
Wednesday, February 8, 2012 09:14 +0100
commit7658c0bbd83d49a1cdaaf116a2c8af823a5b3881
tree 2a417aa6cb36ee5699151644c3160ef0f19b3b6c tree | zip | gz
parent fe858f5b8c261e991c80554bc80d28c1009df1eb view | diff 
Revert to previous CSS filename
2 files modified
1 files renamed
4 ■■■■■ changed files
opendj3/src/main/docbkx-stylesheets/html/chunked.xsl 2 ●●●●● diff | view | raw | blame | history
opendj3/src/main/docbkx-stylesheets/html/coredoc.xsl 2 ●●●●● diff | view | raw | blame | history
opendj3/src/main/resources/css/coredoc.css diff | view | raw | blame | history