mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: af4181 | patch | commitdiff
Mark Craig
22.16.2015 02c208299ec2b1ad204285a26d65150905d064da
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
commit02c208299ec2b1ad204285a26d65150905d064da
tree 7e641b9373823a0b36403e3480562ed8085e0999 tree | zip | gz
parent af418155f407d62e07648235e944016e4c264ae0 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
pom.xml 1 ●●●●● diff | view | raw | blame | history