mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: d4ae48 | patch | commitdiff
Fabio Pistolesi
06.56.2015 f66846ff1ba1b6c6fd3550538e3aa19559b92e37
refs
author Fabio Pistolesi <fabio.pistolesi@forgerock.com>
Wednesday, May 6, 2015 13:56 +0200
committer Fabio Pistolesi <fabio.pistolesi@forgerock.com>
Wednesday, May 6, 2015 13:56 +0200
commitf66846ff1ba1b6c6fd3550538e3aa19559b92e37
tree 52fb8290d18fd6ba3ff2c06e4509681bfef763fe tree | zip | gz
parent d4ae485150f5cbb70df6310ee7b5698011d6c10f view | diff 
Fix docs generation
1 files modified
1 ■■■■■ changed files
opendj-sdk/opendj-server-legacy/pom.xml 1 ●●●●● diff | view | raw | blame | history