mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 72109e | patch | commitdiff
lutoff
23.04.2007 83e808e4b6759562cecf3fdbe2902d4dd97d7731
refs
author lutoff <lutoff@localhost>
Tuesday, October 23, 2007 17:04 +0200
committer lutoff <lutoff@localhost>
Tuesday, October 23, 2007 17:04 +0200
commit83e808e4b6759562cecf3fdbe2902d4dd97d7731
tree 617bb80392f6cdfedc58ae6fc425a440614b2b4f tree | zip | gz
parent 72109e4cedca076573dc7d11c082f37c2ce1044d view | diff 
Add properties file support
1 files modified
16 ■■■■■ changed files
opends/src/guitools/org/opends/guitools/replicationcli/ReplicationCliArgumentParser.java 16 ●●●●● diff | view | raw | blame | history