mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 1af2dc | patch | commitdiff
Mark Craig
22.16.2015 aeca001b4e573750c0d1dbb2b853920308850c75
refs
author Mark Craig <mark.craig@forgerock.com>
Friday, May 22, 2015 10:16 +0200
committer Mark Craig <mark.craig@forgerock.com>
Friday, May 22, 2015 10:16 +0200
commitaeca001b4e573750c0d1dbb2b853920308850c75
tree 9213da7d13e5ede27d26cee6f73bbf6649ea4caf tree | zip | gz
parent 1af2dc5c6e43da1b23ff0695c1fefdccda1f9c90 view | diff 
OPENDJ-2012 Remove unused property

As of 12318 this property is no longer used in the source.
1 files modified
1 ■■■■■ changed files
opendj-sdk/pom.xml 1 ●●●●● diff | view | raw | blame | history