diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-05-07 21:01:18 +0000 |
---|---|---|
committer | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-05-07 21:01:18 +0000 |
commit | 6558cbe658cdd4be766da38e0df128bb036ce2bf (patch) | |
tree | 7134b20c298aff3aaf5694b1d5c8dc790155c394 /nightly/support | |
parent | 7e4807889d4d5109fcce21c0da7d467e1c02900d (diff) |
Deployed e12ed777 to nightly with MkDocs 1.4.2 and mike 1.1.2
Diffstat (limited to 'nightly/support')
-rw-r--r-- | nightly/support/official/index.html | 14 | ||||
-rw-r--r-- | nightly/support/unofficial/index.html | 14 |
2 files changed, 28 insertions, 0 deletions
diff --git a/nightly/support/official/index.html b/nightly/support/official/index.html index 861954ed..942fc5bb 100644 --- a/nightly/support/official/index.html +++ b/nightly/support/official/index.html @@ -844,6 +844,20 @@ + + + + + + <li class="md-nav__item"> + <a href="../../configuration/config-file/processes/" class="md-nav__link"> + Processes + </a> + </li> + + + + </ul> </nav> </li> diff --git a/nightly/support/unofficial/index.html b/nightly/support/unofficial/index.html index 2fde93ab..9b5b2df7 100644 --- a/nightly/support/unofficial/index.html +++ b/nightly/support/unofficial/index.html @@ -817,6 +817,20 @@ + + + + + + <li class="md-nav__item"> + <a href="../../configuration/config-file/processes/" class="md-nav__link"> + Processes + </a> + </li> + + + + </ul> </nav> </li> |