Daniel Schroeder add70f8a4b Format docker build as a code sample (#15808) ...

To stay consistent with other uses in the docs, it would make sense for `docker build` to be formatted as code here.

2022-10-05 13:26:31 +00:00

..

build-images.md

rename docs repository

2022-09-29 11:07:53 +02:00

configure-ci-cd.md

rename docs repository

2022-09-29 11:07:53 +02:00

deploy.md

rename docs repository

2022-09-29 11:07:53 +02:00

develop.md

python indentation 4 spaces according to PEP8 (#15129)

2022-09-30 09:22:56 +00:00

index.md

Remove unneeded <br> HTML tags

2022-07-14 19:54:47 +02:00

nav.html

…

run-containers.md

Format docker build as a code sample (#15808)

2022-10-05 13:26:31 +00:00