mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: cc09c3 | patch | commitdiff
pvarga88
19.16.2020 be8a7b9163e30d8471d2e7e9b552da54c4f83d6c
refs
author pvarga88 <pvarga@opentext.com>
Wednesday, February 19, 2020 07:16 +0100
committer GitHub <noreply@github.com>
Wednesday, February 19, 2020 07:16 +0100
commitbe8a7b9163e30d8471d2e7e9b552da54c4f83d6c
tree ccc4eec96bf9ebf79217cf931e1ab3ae8bcb5e00 tree | zip | gz
parent cc09c317e0b6f8076db72c8fee922d5122022888 view | diff 
Fix compile on Windows (#101)

1 files modified
1 ■■■■■ changed files
pom.xml 1 ●●●●● diff | view | raw | blame | history