mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 1a396f | patch | commitdiff
Fabio Pistolesi
06.56.2015 ed1033d592fb60a844b5dac6aaa9d97ae830fd79
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
commited1033d592fb60a844b5dac6aaa9d97ae830fd79
tree 73fe5bf1a54b47ed9f7ebf91e203b68bc8e56219 tree | zip | gz
parent 1a396fbcee69275d55065d5ad4784b67852b10a3 view | diff 
Fix docs generation
1 files modified
1 ■■■■■ changed files
opendj-server-legacy/pom.xml 1 ●●●●● diff | view | raw | blame | history