diff options
-rw-r--r-- | Doc/icons/blank.pbm | 4 | ||||
-rw-r--r-- | Doc/icons/contents_motif.gif | bin | 225 -> 623 bytes | |||
-rw-r--r-- | Doc/icons/index_motif.gif | bin | 180 -> 597 bytes | |||
-rw-r--r-- | Doc/icons/modules_motif.gif | bin | 0 -> 628 bytes | |||
-rw-r--r-- | Doc/icons/next_motif.gif | bin | 172 -> 590 bytes | |||
-rw-r--r-- | Doc/icons/previous_motif.gif | bin | 220 -> 618 bytes | |||
-rw-r--r-- | Doc/icons/up_motif.gif | bin | 145 -> 579 bytes |
7 files changed, 0 insertions, 4 deletions
diff --git a/Doc/icons/blank.pbm b/Doc/icons/blank.pbm deleted file mode 100644 index 3c72463913..0000000000 --- a/Doc/icons/blank.pbm +++ /dev/null @@ -1,4 +0,0 @@ -P4 -# CREATOR: XV Version 3.00 Rev: 3/30/93 -1 1 -
\ No newline at end of file diff --git a/Doc/icons/contents_motif.gif b/Doc/icons/contents_motif.gif Binary files differindex 7b3c904b28..afa2a172d3 100644 --- a/Doc/icons/contents_motif.gif +++ b/Doc/icons/contents_motif.gif diff --git a/Doc/icons/index_motif.gif b/Doc/icons/index_motif.gif Binary files differindex b9b3108aa8..eb87b44e69 100644 --- a/Doc/icons/index_motif.gif +++ b/Doc/icons/index_motif.gif diff --git a/Doc/icons/modules_motif.gif b/Doc/icons/modules_motif.gif Binary files differnew file mode 100644 index 0000000000..0add775b46 --- /dev/null +++ b/Doc/icons/modules_motif.gif diff --git a/Doc/icons/next_motif.gif b/Doc/icons/next_motif.gif Binary files differindex 928a32db8a..be1f585f6d 100644 --- a/Doc/icons/next_motif.gif +++ b/Doc/icons/next_motif.gif diff --git a/Doc/icons/previous_motif.gif b/Doc/icons/previous_motif.gif Binary files differindex c38778c7c4..6599b5bf22 100644 --- a/Doc/icons/previous_motif.gif +++ b/Doc/icons/previous_motif.gif diff --git a/Doc/icons/up_motif.gif b/Doc/icons/up_motif.gif Binary files differindex c7c9cf7264..6ead538b1e 100644 --- a/Doc/icons/up_motif.gif +++ b/Doc/icons/up_motif.gif |