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 3c72463..0000000 --- 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 7b3c904..afa2a17 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 b9b3108..eb87b44 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 0000000..0add775 --- /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 928a32d..be1f585 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 c38778c..6599b5b 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 c7c9cf7..6ead538 100644 --- a/Doc/icons/up_motif.gif +++ b/Doc/icons/up_motif.gif |
