mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 0df0a5 | patch | commitdiff
Mark Craig
29.00.2015 247d25970b4b5facbacf0f143f2544b870764a77
refs
author Mark Craig <mark.craig@forgerock.com>
Thursday, October 29, 2015 10:00 +0100
committer Mark Craig <mark.craig@forgerock.com>
Thursday, October 29, 2015 10:00 +0100
commit247d25970b4b5facbacf0f143f2544b870764a77
tree 2c2d2636eb50d7d90f0b586da17514f36b72ed9a tree | zip | gz
parent 0df0a5ef0ddc1e532659fd6ac5f35b02c5563f6a view | diff 
OPENDJ-2343 Fix broken man page build
1 files modified
2 ■■■■■ changed files
opendj-server-legacy/src/messages/org/opends/messages/tool.properties 2 ●●●●● diff | view | raw | blame | history