mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | raw
Gaetan Boismal
08.25.2016 8bf05d16714ec5ec23bec6d169b4b8201c463ce4 
opendj-server-legacy/src/main/java/org/opends/server/tools/JavaPropertiesTool.java does not exist in tree 1a8a548b7df96c0affb53cecffb48477870cc5eb