mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 5c3bcc55 | patch | commit | ignore whitespace
vharseko
06.14.2018 7b59259a60a36717e281473c00c0a240e4f0dbad 
<skipChecksumVerification>true</skipChecksumVerification>
1 files modified
2 ■■■■■ changed files
forgerock-parent @ 0133b7 2 ●●●●● patch | view | raw | blame | history 
 forgerock-parent


@@ -1 +1 @@


Subproject commit 9faa4d1025228ec8cd0889d42e79582d0ba5e710


Subproject commit 0133b7033aac3e45307808c193cc07bdf17356a3