mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Gaetan Boismal
09.00.2015 b294aa82fd09bb36ee708bcaa07fca8e58e6d6c7
opendj-server-legacy/ext/svnkit/conf/logging.properties.disabled does not exist in tree 1c46779af0ea061a9d2d8036bf7827c5332af391