mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 821bd7 | patch | commitdiff
Mark Craig
28.16.2013 8da2c753fd032d6fad4119453cfba086175dc1b7
refs
author Mark Craig <mark.craig@forgerock.com>
Tuesday, May 28, 2013 11:16 +0200
committer Mark Craig <mark.craig@forgerock.com>
Tuesday, May 28, 2013 11:16 +0200
commit8da2c753fd032d6fad4119453cfba086175dc1b7
tree f5e6817796076d34b2146b920f13aa7e217c01ef tree | zip | gz
parent 821bd7a2d3c7940913285553a4627582357dc643 view | diff 
Attempt to avoid knocking over Jenkins's house of cards
2 files modified
82 ■■■■■ changed files
opendj-sdk/opendj3/src/main/docbkx/shared/man-upgrade.xml 12 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/resource/man/man1/upgrade.1 70 ●●●●● diff | view | raw | blame | history