mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 0078c4 | patch | commitdiff
Mark Craig
25.44.2011 c4a0d87d351aba33aed83af080acfe38dea4a18c
refs
author Mark Craig <mark.craig@forgerock.com>
Tuesday, October 25, 2011 08:44 +0200
committer Mark Craig <mark.craig@forgerock.com>
Tuesday, October 25, 2011 08:44 +0200
commitc4a0d87d351aba33aed83af080acfe38dea4a18c
tree ac80059232c078aef4612589431a8f04399b734d tree | zip | gz
parent 0078c4c8333cf9dffaaf8946ced4585dca7f33be view | diff 
Add timestamp in head > meta of generated pages
1 files modified
3 ■■■■■ changed files
opendj-sdk/opends/src/server/org/opends/server/admin/doc/ConfigGuideGeneration.java 3 ●●●●● diff | view | raw | blame | history