diff options
author | Jan Tojnar <jtojnar@gmail.com> | 2019-06-17 12:17:16 +0200 |
---|---|---|
committer | Jan Tojnar <jtojnar@gmail.com> | 2019-06-17 12:28:26 +0200 |
commit | 3c14bda7f5a065d3d290399db2ef15457af3906b (patch) | |
tree | 5e43648eab8e0c02cdcdc1e66bc9e92c9100052c /doc/functions/dockertools.xml | |
parent | 11cb382a4c095656463117390baf5b03e029d8a2 (diff) |
doc: fix spurious whitespace
Diffstat (limited to 'doc/functions/dockertools.xml')
-rw-r--r-- | doc/functions/dockertools.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/functions/dockertools.xml b/doc/functions/dockertools.xml index e95ce1979ded..a042013b8e70 100644 --- a/doc/functions/dockertools.xml +++ b/doc/functions/dockertools.xml @@ -537,7 +537,7 @@ exportImage { name = someLayeredImage.name; } - </programlisting> +</programlisting> </example> <para> |