mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
maximthomas
18.38.2025 ca1ef000ee3bc821c03926e478c3711a2a7c9de4 
 pom.xml


@@ -673,15 +673,6 @@


                <module>opendj-packages</module>


            </modules>


        </profile>


<!--        <profile>-->


<!--            <id>set-compiler-release</id>-->


<!--            <activation>-->


<!--                <jdk>[11,)</jdk>-->


<!--            </activation>-->


<!--            <properties>-->


<!--                <maven.compiler.release>11</maven.compiler.release>-->


<!--            </properties>-->


<!--        </profile>-->


      <profile>


         <id>jdk16.options</id>


         <activation>