mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opendj-sdk/opends/tests/staf-tests/shared/ant/Linux.properties does not exist in tree c0c50e0aeca2d8829dea5dd6300801a7dd420c02
