mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 064e19 | patch | commitdiff
Mark Craig
04.00.2015 e456bee0376f56fcd1486c5e666527798a4a1179
refs
author Mark Craig <mark.craig@forgerock.com>
Wednesday, February 4, 2015 14:00 +0100
committer Mark Craig <mark.craig@forgerock.com>
Wednesday, February 4, 2015 14:00 +0100
commite456bee0376f56fcd1486c5e666527798a4a1179
tree 8cb41a86242b95c7ed553c5dd47db564747b56b7 tree | zip | gz
parent 064e19535f59e4cc1001f9c1683ec001a92ce880 view | diff 
Fix build break
1 files modified
6 ■■■■■ changed files
opends/pom.xml 6 ●●●●● diff | view | raw | blame | history