mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 5ffd7b | patch | commitdiff
lutoff
23.04.2007 f584b41f42c3998b7b3d1f3ac6b517c391be500a
refs
author lutoff <lutoff@localhost>
Tuesday, October 23, 2007 17:04 +0200
committer lutoff <lutoff@localhost>
Tuesday, October 23, 2007 17:04 +0200
commitf584b41f42c3998b7b3d1f3ac6b517c391be500a
tree a5b527f99668975e11acc5a2aa987b6adcfb5d5d tree | zip | gz
parent 5ffd7bab52eb9e8bf1e61d3cac9758e3e4fef1bc view | diff 
Add properties file support
1 files modified
16 ■■■■■ changed files
opendj-sdk/opends/src/guitools/org/opends/guitools/replicationcli/ReplicationCliArgumentParser.java 16 ●●●●● diff | view | raw | blame | history