mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 7dc02f | patch | commitdiff
jvergara
19.21.2009 760987efce8e8fcdacd909ee59d76193e7623820
refs
author jvergara <jvergara@localhost>
Thursday, November 19, 2009 14:21 +0100
committer jvergara <jvergara@localhost>
Thursday, November 19, 2009 14:21 +0100
commit760987efce8e8fcdacd909ee59d76193e7623820
tree b6551c0a3bc4a19bb1224f4a7e42806ecf53cb09 tree | zip | gz
parent 7dc02ff7e85c8fe1d9c45c49dfa9cfec0085780e view | diff 
Fix a typo.
1 files modified
2 ■■■■■ changed files
opendj-sdk/opends/src/guitools/org/opends/guitools/controlpanel/task/Task.java 2 ●●●●● diff | view | raw | blame | history