mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 83786c | patch | commitdiff
maximthomas
01.57.2025 797740d316f2b72aa721c4c1d07acada4b6e8058
refs
author maximthomas <maxim.thomas@gmail.com>
Thursday, May 1, 2025 09:57 +0200
committer maximthomas <maxim.thomas@gmail.com>
Thursday, May 1, 2025 09:57 +0200
commit797740d316f2b72aa721c4c1d07acada4b6e8058
tree 829b047fbe2acb608132ac0e2ef71d550e662eb6 tree | zip | gz
parent 83786cb2eca9408d15702782ff60f1a75ff89158 view | diff 
set compiler version to 11
1 files modified
28 ■■■■■ changed files
pom.xml 28 ●●●●● diff | view | raw | blame | history