mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 3ed20d | patch | commitdiff
jvergara
05.19.2009 c23f5b9ad3aa6868267e9e2b80c9d3ef32434dd2
refs
author jvergara <jvergara@localhost>
Saturday, December 5, 2009 11:19 +0100
committer jvergara <jvergara@localhost>
Saturday, December 5, 2009 11:19 +0100
commitc23f5b9ad3aa6868267e9e2b80c9d3ef32434dd2
tree f52e460dcd675ce30940f29b72cd27e191eef001 tree | zip | gz
parent 3ed20de790c625ca5f353df0254fd6b2ff78b634 view | diff 
Fix a typo.
1 files modified
2 ■■■■■ changed files
opends/src/guitools/org/opends/guitools/controlpanel/ui/StatusGenericPanel.java 2 ●●●●● diff | view | raw | blame | history