mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 869f0f | patch | commitdiff
vharseko
10.51.2018 3399fb4ab7f071d8331e65f59e8b01499801ec7d
refs
author vharseko <vharseko@openam.org.ru>
Tuesday, April 10, 2018 09:51 +0200
committer vharseko <vharseko@openam.org.ru>
Tuesday, April 10, 2018 09:51 +0200
commit3399fb4ab7f071d8331e65f59e8b01499801ec7d
tree 03c1dbb0ef6d3da004079c919f452a5ab1faf383 tree | zip | gz
parent 869f0f24717606581ee31adaa041aa0931fa2e67 view | diff 
try faster build without man-docs
2 files modified
519 ■■■■■ changed files
opendj-doc-generated-ref/pom.xml 517 ●●●●● diff | view | raw | blame | history
opendj-server-legacy/pom.xml 2 ●●●●● diff | view | raw | blame | history