diff options
Diffstat (limited to 'web/input')
| -rw-r--r-- | web/input/resources/favicon.ico (renamed from web/input/media/favicon.ico) | bin | 4286 -> 4286 bytes | |||
| -rw-r--r-- | web/input/resources/github.png (renamed from web/input/media/github.png) | bin | 7927 -> 7927 bytes | |||
| -rw-r--r-- | web/input/resources/plugins.css (renamed from web/input/media/plugins.css) | 0 |
3 files changed, 0 insertions, 0 deletions
diff --git a/web/input/media/favicon.ico b/web/input/resources/favicon.ico index 76ae569..76ae569 100644 --- a/web/input/media/favicon.ico +++ b/web/input/resources/favicon.ico | |||
| Binary files differ | |||
diff --git a/web/input/media/github.png b/web/input/resources/github.png index 1e19c21..1e19c21 100644 --- a/web/input/media/github.png +++ b/web/input/resources/github.png | |||
| Binary files differ | |||
diff --git a/web/input/media/plugins.css b/web/input/resources/plugins.css index 552284f..552284f 100644 --- a/web/input/media/plugins.css +++ b/web/input/resources/plugins.css | |||
