mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 54cea4 | patch | commitdiff
Chris Ridd
08.22.2012 4f7f83fcdfcb78619a05586374f7a8ed19b8708f
refs
author Chris Ridd <chris.ridd@forgerock.com>
Wednesday, August 8, 2012 10:22 +0200
committer Chris Ridd <chris.ridd@forgerock.com>
Wednesday, August 8, 2012 10:22 +0200
commit4f7f83fcdfcb78619a05586374f7a8ed19b8708f
tree 15089a714251eaac214d8081051628738cfca049 tree | zip | gz
parent 54cea43e8970c0c8175d9ccceea7e26453855be2 view | diff 
Fix OPENDJ-552 Finished panel text uses different font sizes
1 files modified
2 ■■■■■ changed files
opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/upgrader/Upgrader.java 2 ●●●●● diff | view | raw | blame | history