diff options
author | Hendrik Tews <hendrik@askra.de> | 2017-01-17 11:00:05 +0100 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2017-01-17 11:00:05 +0100 |
commit | 915c66130bf639c7bd0b94f5a5c4a79f9148d2b1 (patch) | |
tree | 9f1904fa08db454f2a95dc0b03832442406a9298 /etc | |
parent | 6d1f608c6e7c39eff89b9461a2f4ea7ff1b19899 (diff) |
fix icon installation and add 64 and 128 square icons (fixes #141)
Diffstat (limited to 'etc')
-rw-r--r-- | etc/desktop/icons/128x128/proofgeneral.png | bin | 0 -> 14117 bytes |
-rw-r--r-- | etc/desktop/icons/64x64/proofgeneral.png | bin | 0 -> 5045 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/etc/desktop/icons/128x128/proofgeneral.png b/etc/desktop/icons/128x128/proofgeneral.png Binary files differnew file mode 100644 index 00000000..555e4a87 --- /dev/null +++ b/etc/desktop/icons/128x128/proofgeneral.png diff --git a/etc/desktop/icons/64x64/proofgeneral.png b/etc/desktop/icons/64x64/proofgeneral.png Binary files differnew file mode 100644 index 00000000..15492240 --- /dev/null +++ b/etc/desktop/icons/64x64/proofgeneral.png |