mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 78ed95 | patch | commitdiff
Mark Craig
08.14.2012 f27ce39cf4fe1d334898948dc35e64356721c080
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
commitf27ce39cf4fe1d334898948dc35e64356721c080
tree 8a8d32bd9097f60b15a7ae5ecc491018a9287af7 tree | zip | gz
parent 78ed957fbfacf295476c426c2e14d127e8fc5b0a view | diff 
Revert to previous CSS filename
2 files modified
1 files renamed
4 ■■■■■ changed files
opendj-sdk/opendj3/src/main/docbkx-stylesheets/html/chunked.xsl 2 ●●●●● diff | view | raw | blame | history
opendj-sdk/opendj3/src/main/docbkx-stylesheets/html/coredoc.xsl 2 ●●●●● diff | view | raw | blame | history
opendj-sdk/opendj3/src/main/resources/css/coredoc.css diff | view | raw | blame | history