mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 73bb1d | patch | commitdiff
Gaetan Boismal
18.12.2015 3641f43c8ad68b804bc1ab0a41db44871c91bdd9
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
commit3641f43c8ad68b804bc1ab0a41db44871c91bdd9
tree 60053cf61f71c32dcb27ee4ecf4fb105a8c7cd5d tree | zip | gz
parent 73bb1ddf9c2554ff2b69a26742532504242bd18e view | diff 
OPENDJ-1817: Fix GUI tools

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