mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 707518 | patch | commitdiff
vharseko
04.07.2018 c5facb0440c7e4095694f560ac996d8d86599be7
refs
author vharseko <vharseko@openam.org.ru>
Thursday, October 4, 2018 11:07 +0200
committer vharseko <vharseko@openam.org.ru>
Thursday, October 4, 2018 11:07 +0200
commitc5facb0440c7e4095694f560ac996d8d86599be7
tree 7f2bdd6c22b4fb1189b39629ea315f75d8a3bacf tree | zip | gz
parent 707518f8a5d382b00423b895b657bde7628774fa view | diff 
disable maven-checkstyle-plugin in precommit profile
1 files modified
77 ■■■■■ changed files
opendj-server-legacy/pom.xml 77 ●●●●● diff | view | raw | blame | history