doc: convert gif to svg

Signed-off-by: Federico Vaga <federico.vaga@cern.ch>

doc: convert gif to svg
Signed-off-by: Federico Vaga <federico.vaga@cern.ch>
65d74f30 · Federico Vaga · deff027d · 65d74f30 · deff027d
Commit 65d74f30 authored Nov 26, 2020 by Federico Vaga
Expand all Hide whitespace changes
Inline Side-by-side

Showing with 256 additions and 0 deletions

config-if.svg doc/fig/config-if.svg +256 -0

config-if.gif doc/img/config-if.gif +0 -0

No files found.
--- a/doc/fig/config-if.svg
+++ b/doc/fig/config-if.svg
--- a/doc/img/config-if.gif
+++ b/doc/img/config-if.gif