mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 38ac43 | patch | commitdiff
Mark Craig
19.15.2011 774f4f07cde37abc177226800705d0ebdaa62094
refs
author Mark Craig <mark.craig@forgerock.com>
Wednesday, October 19, 2011 16:15 +0200
committer Mark Craig <mark.craig@forgerock.com>
Wednesday, October 19, 2011 16:15 +0200
commit774f4f07cde37abc177226800705d0ebdaa62094
tree 05013095fe9070820e84077519048a246d7b37b8 tree | zip | gz
parent 38ac439b7f4c18de0ecd8488d7e31d2262177f92 view | diff 
Made the <pre class="screen"> thing a toggle, so you don't have to reload the page.
2 files modified
42 ■■■■■ changed files
opendj-sdk/opendj3/pom.xml 40 ●●●●● diff | view | raw | blame | history
opendj-sdk/opendj3/src/main/resources/css/coredoc.css 2 ●●●●● diff | view | raw | blame | history