mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

jvergara
19.21.2009 18ec62ae3b664604b738835f0733bb9f8cc75adb
refs
author jvergara <jvergara@localhost>
Thursday, November 19, 2009 14:21 +0100
committer jvergara <jvergara@localhost>
Thursday, November 19, 2009 14:21 +0100
commit18ec62ae3b664604b738835f0733bb9f8cc75adb
tree 6de7843218ab56915f1474b824b5374418b2b3c8 tree | zip | gz
parent a47b09a52bed0bd49c286edd93ceb6787be797b3 view | diff
Fix a typo.
1 files modified
2 ■■■ changed files
opends/src/guitools/org/opends/guitools/controlpanel/task/Task.java 2 ●●● diff | view | raw | blame | history