mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 4d5870 | patch | commitdiff
vharseko
02.35.2018 4814ee972a7dd9ba06e1bcd8c362b9a69c83e532
refs
author vharseko <vharseko@openam.org.ru>
Friday, March 2, 2018 19:35 +0100
committer vharseko <vharseko@openam.org.ru>
Friday, March 2, 2018 19:35 +0100
commit4814ee972a7dd9ba06e1bcd8c362b9a69c83e532
tree a7ada0fc7a616d829c611fe18ae6eddfa1d57fb9 tree | zip | gz
parent 4d58703566b813380a06ad0e56c8fc7346815f93 view | diff 
move build docs to -Pman-pages
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