diff options
-rw-r--r-- | doc/ci/img/environments_terminal_button_on_index.png | bin | 79725 -> 29162 bytes |
-rw-r--r-- | doc/ci/img/environments_terminal_button_on_show.png | bin | 73210 -> 17811 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/doc/ci/img/environments_terminal_button_on_index.png b/doc/ci/img/environments_terminal_button_on_index.png Binary files differindex 6f05b2aa343..061bb7c3c87 100644 --- a/doc/ci/img/environments_terminal_button_on_index.png +++ b/doc/ci/img/environments_terminal_button_on_index.png diff --git a/doc/ci/img/environments_terminal_button_on_show.png b/doc/ci/img/environments_terminal_button_on_show.png Binary files differindex 9469fab99ab..4d24304bc93 100644 --- a/doc/ci/img/environments_terminal_button_on_show.png +++ b/doc/ci/img/environments_terminal_button_on_show.png |