mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 4814ee | patch | commitdiff
vharseko
02.32.2018 0a555ccad9bc29b87f06910128d9639d0cfac11a
refs
author vharseko <vharseko@openam.org.ru>
Friday, March 2, 2018 20:32 +0100
committer vharseko <vharseko@openam.org.ru>
Friday, March 2, 2018 20:32 +0100
commit0a555ccad9bc29b87f06910128d9639d0cfac11a
tree 856dcb45aeec4aa1a12eccb08ba95a4a7d758f76 tree | zip | gz
parent 4814ee972a7dd9ba06e1bcd8c362b9a69c83e532 view | diff 
Revert "move build docs to -Pman-pages"

This reverts commit 4814ee972a7dd9ba06e1bcd8c362b9a69c83e532.
2 files modified
8 ■■■■■ changed files
.travis.yml 2 ●●●●● diff | view | raw | blame | history
opendj-doc-generated-ref/pom.xml 6 ●●●●● diff | view | raw | blame | history