mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 8d558f | patch | commitdiff
Chris Ridd
08.22.2012 f05655fc2409cb04d8e384bbc7fadfa047a5fb9a
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
commitf05655fc2409cb04d8e384bbc7fadfa047a5fb9a
tree 0b3e57d64cab1896b2109b44395332f05b1e1abe tree | zip | gz
parent 8d558f2442f32599065fd25e852a83251c28a313 view | diff 
Fix OPENDJ-552 Finished panel text uses different font sizes
1 files modified
2 ■■■■■ changed files
opends/src/quicksetup/org/opends/quicksetup/upgrader/Upgrader.java 2 ●●●●● diff | view | raw | blame | history