summaryrefslogtreecommitdiffstats
path: root/web/input
diff options
context:
space:
mode:
authorHolger Weiss <holger@zedat.fu-berlin.de>2013-10-06 11:30:11 (GMT)
committerHolger Weiss <holger@zedat.fu-berlin.de>2013-10-06 11:30:11 (GMT)
commitb2c8b7821e7e4ff82c65f0ab360ae067dded9e94 (patch)
tree2dcc3b145223710dc4d52393d187fc1580fa4e34 /web/input
parentd2abd150f14f21d05ae2dc844985cb7b64815b00 (diff)
downloadsite-b2c8b7821e7e4ff82c65f0ab360ae067dded9e94.tar.gz
Rename /media directory to /resources
This is just cosmetics.
Diffstat (limited to 'web/input')
-rw-r--r--web/input/resources/favicon.ico (renamed from web/input/media/favicon.ico)bin4286 -> 4286 bytes
-rw-r--r--web/input/resources/github.png (renamed from web/input/media/github.png)bin7927 -> 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