diff options
| -rw-r--r-- | Doc/icons/blank.gif | bin | 1958 -> 0 bytes |
| -rw-r--r-- | Doc/icons/contents.gif | bin | 438 -> 0 bytes |
| -rw-r--r-- | Doc/icons/index.gif | bin | 289 -> 0 bytes |
| -rw-r--r-- | Doc/icons/modules.gif | bin | 385 -> 0 bytes |
| -rw-r--r-- | Doc/icons/next.gif | bin | 253 -> 0 bytes |
| -rw-r--r-- | Doc/icons/previous.gif | bin | 252 -> 0 bytes |
| -rw-r--r-- | Doc/icons/up.gif | bin | 316 -> 0 bytes |
7 files changed, 0 insertions, 0 deletions
diff --git a/Doc/icons/blank.gif b/Doc/icons/blank.gif Binary files differdeleted file mode 100644 index 2e31f4ed50..0000000000 --- a/Doc/icons/blank.gif +++ /dev/null diff --git a/Doc/icons/contents.gif b/Doc/icons/contents.gif Binary files differdeleted file mode 100644 index 6d299c4c1c..0000000000 --- a/Doc/icons/contents.gif +++ /dev/null diff --git a/Doc/icons/index.gif b/Doc/icons/index.gif Binary files differdeleted file mode 100644 index 32eecfb4fd..0000000000 --- a/Doc/icons/index.gif +++ /dev/null diff --git a/Doc/icons/modules.gif b/Doc/icons/modules.gif Binary files differdeleted file mode 100644 index f5860b6bb9..0000000000 --- a/Doc/icons/modules.gif +++ /dev/null diff --git a/Doc/icons/next.gif b/Doc/icons/next.gif Binary files differdeleted file mode 100644 index 5dcaff8b24..0000000000 --- a/Doc/icons/next.gif +++ /dev/null diff --git a/Doc/icons/previous.gif b/Doc/icons/previous.gif Binary files differdeleted file mode 100644 index de1da16023..0000000000 --- a/Doc/icons/previous.gif +++ /dev/null diff --git a/Doc/icons/up.gif b/Doc/icons/up.gif Binary files differdeleted file mode 100644 index a9d3e13e47..0000000000 --- a/Doc/icons/up.gif +++ /dev/null |
