diff options
Diffstat (limited to 'data/graphics/gui/windowmenu.xml')
| -rw-r--r-- | data/graphics/gui/windowmenu.xml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/data/graphics/gui/windowmenu.xml b/data/graphics/gui/windowmenu.xml deleted file mode 100644 index ede5a8fb8..000000000 --- a/data/graphics/gui/windowmenu.xml +++ /dev/null @@ -1,7 +0,0 @@ -<?xml version="1.0" encoding="utf-8"?> -<skinset name="Default" image="window.png"> - <widget type="Window"> - <option name="padding" value="1" /> - <option name="spacing" value="1" /> - </widget> -</skinset> |