mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 87769d | patch | commitdiff
lutoff
22.53.2007 60b2e43023d2437197e4ecc63ee9ffa46ac1004a
refs
author lutoff <lutoff@localhost>
Monday, October 22, 2007 15:53 +0200
committer lutoff <lutoff@localhost>
Monday, October 22, 2007 15:53 +0200
commit60b2e43023d2437197e4ecc63ee9ffa46ac1004a
tree b324ce4bdbc3b4edb16a6b4e430f06ac04e2b053 tree | zip | gz
parent 87769dd2f93743d26884120305419832fc05db07 view | diff 
Add properties file support
1 files modified
13 ■■■■■ changed files
opendj-sdk/opends/src/server/org/opends/server/tools/ManageTasks.java 13 ●●●●● diff | view | raw | blame | history