mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: be3f8e0f | patch | commit | ignore whitespace
Maxim Thomas
02.42.2024 acedc6853aec4cf8f71d1dc8a3a4fc129817c385 
Fix documentation version (#371)

1 files modified
2 ■■■■■ changed files
opendj-doc-generated-ref/pom.xml 2 ●●●●● patch | view | raw | blame | history 
 opendj-doc-generated-ref/pom.xml


@@ -31,6 +31,8 @@




    <properties>


        <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>


        <docTargetVersion>${project.version}</docTargetVersion>


        <sdkDocTargetVersion>${project.version}</sdkDocTargetVersion>


    </properties>