diff options
Diffstat (limited to 'doc/images/dvi.gif')
-rw-r--r-- | doc/images/dvi.gif | bin | 0 -> 156 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/images/dvi.gif b/doc/images/dvi.gif Binary files differnew file mode 100644 index 0000000000..163a5d52b5 --- /dev/null +++ b/doc/images/dvi.gif |