mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: e44115 | patch | commitdiff
lutoff
22.53.2007 4d5da330c65e9ed54c6511dc30d7d2048bcb8a0e
refs
author lutoff <lutoff@localhost>
Monday, October 22, 2007 15:53 +0200
committer lutoff <lutoff@localhost>
Monday, October 22, 2007 15:53 +0200
commit4d5da330c65e9ed54c6511dc30d7d2048bcb8a0e
tree e9d7c0b82490c624b9c07a1a0b75db3ad3b31cef tree | zip | gz
parent e44115d81e0ecff3c86357d00a3d7111be2df6d4 view | diff 
Add properties file support
1 files modified
13 ■■■■■ changed files
opends/src/server/org/opends/server/tools/ManageTasks.java 13 ●●●●● diff | view | raw | blame | history