mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 7f1cd5 | patch | commitdiff
Chris Ridd
05.23.2013 ac89967c14b347deb66708f89d92aaaa31047d5e
refs
author Chris Ridd <chris.ridd@forgerock.com>
Monday, August 5, 2013 14:23 +0200
committer Chris Ridd <chris.ridd@forgerock.com>
Monday, August 5, 2013 14:23 +0200
commitac89967c14b347deb66708f89d92aaaa31047d5e
tree 44a335e51a31ccfff67ce2652db8c0ef83c2a476 tree | zip | gz
parent 7f1cd55c60ea0f71d0912f99f5811efd504cbcc1 view | diff 
Fail the package-MSI target unless on Windows
1 files modified
6 ■■■■■ changed files
opends/build.xml 6 ●●●●● diff | view | raw | blame | history