mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 4697df03 | patch | commit | show whitespace
maximthomas
18.38.2025 ca1ef000ee3bc821c03926e478c3711a2a7c9de4 
restore opendj-core pom line indents
2 files modified
9 ■■■■■ changed files
opendj-core/pom.xml patch | view | raw | blame | history
pom.xml 9 ●●●●● patch | view | raw | blame | history 
 opendj-core/pom.xml




 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>