mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 2246d4 | patch | commitdiff
vharseko
30.22.2018 e5c15e4023cb9c4ea2ccb8776bee3a864396fb3b
refs
author vharseko <vharseko@openam.org.ru>
Wednesday, May 30, 2018 11:22 +0200
committer GitHub <noreply@github.com>
Wednesday, May 30, 2018 11:22 +0200
commite5c15e4023cb9c4ea2ccb8776bee3a864396fb3b
tree 0f391a59bca0babf06cb461b48ac612999b6d0c3 tree | zip | gz
parent 2246d4cad9203461ae541094380d00a326ce34a4 view | diff 
[ci skip] exclude build rpm/deb/msi  

mvn clean install -f OpenDJ -P\!distribution
1 files modified
2 ■■■■■ changed files
README.md 2 ●●●●● diff | view | raw | blame | history