mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 2b25aa | patch | commitdiff
Mark Craig
19.15.2011 e3af05725c827366f160624b30cd2b58d28aea5f
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
commite3af05725c827366f160624b30cd2b58d28aea5f
tree 82aa50fa84b45f14b34ef7933b20f0f17e46716e tree | zip | gz
parent 2b25aa942f72d5291b12a9c744ad140b6c296407 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
opendj3/pom.xml 40 ●●●●● diff | view | raw | blame | history
opendj3/src/main/resources/css/coredoc.css 2 ●●●●● diff | view | raw | blame | history