diff options
Diffstat (limited to 'user_guide')
-rw-r--r-- | user_guide/images/nav_bg.jpg | bin | 503 -> 0 bytes |
-rw-r--r-- | user_guide/images/nav_separator.jpg | bin | 305 -> 0 bytes |
-rw-r--r-- | user_guide/images/nav_toggle.jpg | bin | 3076 -> 0 bytes |
3 files changed, 0 insertions, 0 deletions
diff --git a/user_guide/images/nav_bg.jpg b/user_guide/images/nav_bg.jpg Binary files differdeleted file mode 100644 index 35640707b..000000000 --- a/user_guide/images/nav_bg.jpg +++ /dev/null diff --git a/user_guide/images/nav_separator.jpg b/user_guide/images/nav_separator.jpg Binary files differdeleted file mode 100644 index 3f8b15121..000000000 --- a/user_guide/images/nav_separator.jpg +++ /dev/null diff --git a/user_guide/images/nav_toggle.jpg b/user_guide/images/nav_toggle.jpg Binary files differdeleted file mode 100644 index 531bc2635..000000000 --- a/user_guide/images/nav_toggle.jpg +++ /dev/null |