mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: cd178f | patch | commitdiff
Mark Craig
11.12.2016 3f68b466b8572030bb049a363809ab9c532032f2
refs
author Mark Craig <mark.craig@forgerock.com>
Tuesday, October 11, 2016 08:12 +0200
committer Mark Craig <mark.craig@forgerock.com>
Tuesday, October 11, 2016 08:12 +0200
commit3f68b466b8572030bb049a363809ab9c532032f2
tree ef50401a4766d42db42af28c44bfc36db0de6f64 tree | zip | gz
parent cd178f0abd653155b713552bde16a14747d42f43 view | diff 
Fix typo in man page generation found by Ondrej Fuchsik
1 files modified
2 ■■■■■ changed files
opendj-doc-generated-ref/pom.xml 2 ●●●●● diff | view | raw | blame | history