mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 8990a2 | patch | commitdiff
Gaetan Boismal
18.12.2015 d008cb811abba1fd0abc4b159dd7d7c89a1890b3
refs
author Gaetan Boismal <gaetan.boismal@forgerock.com>
Wednesday, February 18, 2015 11:12 +0100
committer Gaetan Boismal <gaetan.boismal@forgerock.com>
Wednesday, February 18, 2015 11:12 +0100
commitd008cb811abba1fd0abc4b159dd7d7c89a1890b3
tree cfec3f3a86bbbe098ecdf426f730f42b8137bdd3 tree | zip | gz
parent 8990a259a41f2f90606233139c4937fc1c8182cc view | diff 
OPENDJ-1817: Fix GUI tools

Adds resources to main jar.
1 files modified
32 ■■■■■ changed files
opendj-server-legacy/pom.xml 32 ●●●●● diff | view | raw | blame | history