diff options
Diffstat (limited to 'docs/full/resources')
| -rw-r--r-- | docs/full/resources/background.gif | bin | 2313 -> 0 bytes |
| -rw-r--r-- | docs/full/resources/tab.gif | bin | 291 -> 0 bytes |
| -rw-r--r-- | docs/full/resources/titlebar.gif | bin | 10701 -> 0 bytes |
| -rw-r--r-- | docs/full/resources/titlebar_end.gif | bin | 849 -> 0 bytes |
4 files changed, 0 insertions, 0 deletions
diff --git a/docs/full/resources/background.gif b/docs/full/resources/background.gif Binary files differdeleted file mode 100644 index f471940f..00000000 --- a/docs/full/resources/background.gif +++ /dev/null diff --git a/docs/full/resources/tab.gif b/docs/full/resources/tab.gif Binary files differdeleted file mode 100644 index 1a73a83b..00000000 --- a/docs/full/resources/tab.gif +++ /dev/null diff --git a/docs/full/resources/titlebar.gif b/docs/full/resources/titlebar.gif Binary files differdeleted file mode 100644 index 17443b3e..00000000 --- a/docs/full/resources/titlebar.gif +++ /dev/null diff --git a/docs/full/resources/titlebar_end.gif b/docs/full/resources/titlebar_end.gif Binary files differdeleted file mode 100644 index 3ad78d46..00000000 --- a/docs/full/resources/titlebar_end.gif +++ /dev/null |
