diff options
-rw-r--r-- | doc/common/dvi.gif | bin | 0 -> 156 bytes |
-rw-r--r-- | doc/common/pdf.gif | bin | 0 -> 249 bytes |
-rw-r--r-- | doc/common/pdf1.gif | bin | 0 -> 173 bytes |
-rw-r--r-- | doc/common/ps.gif | bin | 0 -> 244 bytes |
4 files changed, 0 insertions, 0 deletions
diff --git a/doc/common/dvi.gif b/doc/common/dvi.gif Binary files differnew file mode 100644 index 0000000000..163a5d52b5 --- /dev/null +++ b/doc/common/dvi.gif diff --git a/doc/common/pdf.gif b/doc/common/pdf.gif Binary files differnew file mode 100644 index 0000000000..c88fd777c4 --- /dev/null +++ b/doc/common/pdf.gif diff --git a/doc/common/pdf1.gif b/doc/common/pdf1.gif Binary files differnew file mode 100644 index 0000000000..784fe2ac8c --- /dev/null +++ b/doc/common/pdf1.gif diff --git a/doc/common/ps.gif b/doc/common/ps.gif Binary files differnew file mode 100644 index 0000000000..0f565bc1db --- /dev/null +++ b/doc/common/ps.gif |