mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 95cf91 | patch | commitdiff
Mark Craig
03.18.2011 9da4deb899f0b0e087236f8ddf0f65124a54c377
refs
author Mark Craig <mark.craig@forgerock.com>
Monday, October 3, 2011 18:18 +0200
committer Mark Craig <mark.craig@forgerock.com>
Monday, October 3, 2011 18:18 +0200
commit9da4deb899f0b0e087236f8ddf0f65124a54c377
tree a5b245af4e328d5453e1b92cec2b433a360f43ce tree | zip | gz
parent 95cf9160732427d667ceedcdef75a6dc3209400c view | diff 
Another favicon
1 files modified
2 ■■■■■ changed files
opendj-sdk/opends/src/server/org/opends/server/admin/doc/ConfigGuideGeneration.java 2 ●●●●● diff | view | raw | blame | history