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