mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 092d08 | patch | commitdiff
Mark Craig
25.44.2011 72ecefbd9279675d7b629d7590cf63c9f87964fd
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
commit72ecefbd9279675d7b629d7590cf63c9f87964fd
tree 29721418b122c064e2ea683c389dbc53a88fbca7 tree | zip | gz
parent 092d084e327bb9adbcef0e67165937b239749d28 view | diff 
Add timestamp in head > meta of generated pages
1 files modified
3 ■■■■■ changed files
opends/src/server/org/opends/server/admin/doc/ConfigGuideGeneration.java 3 ●●●●● diff | view | raw | blame | history