mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 7bc45f | patch | commitdiff
ludovicp
29.05.2008 eb6b764d310b2d2a3a8f5e84b6115484702549d8
refs
author ludovicp <ludovicp@localhost>
Tuesday, July 29, 2008 12:05 +0200
committer ludovicp <ludovicp@localhost>
Tuesday, July 29, 2008 12:05 +0200
commiteb6b764d310b2d2a3a8f5e84b6115484702549d8
tree d38dbfc4a6220a3bfd2ec292bbb9d6033d7a644c tree | zip | gz
parent 7bc45f8cb52c919955c7c5edcbe52bedad9f8aaa view | diff 
One liner fix for double assignment
1 files modified
2 ■■■■■ changed files
opends/src/guitools/org/opends/guitools/statuspanel/ConfigFromFile.java 2 ●●●●● diff | view | raw | blame | history