From 84017076ecd22aba61a72b72836f57f7e3014860 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 28 Feb 2004 16:39:49 +0000
Subject: New files.

---
 etc/desktop/icons/16x16/proofgeneral.png | Bin 0 -> 734 bytes
 etc/desktop/icons/32x32/proofgeneral.png | Bin 0 -> 2207 bytes
 etc/desktop/icons/48x48/proofgeneral.png | Bin 0 -> 4299 bytes
 3 files changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 etc/desktop/icons/16x16/proofgeneral.png
 create mode 100644 etc/desktop/icons/32x32/proofgeneral.png
 create mode 100644 etc/desktop/icons/48x48/proofgeneral.png

(limited to 'etc')

diff --git a/etc/desktop/icons/16x16/proofgeneral.png b/etc/desktop/icons/16x16/proofgeneral.png
new file mode 100644
index 00000000..31bc0699
Binary files /dev/null and b/etc/desktop/icons/16x16/proofgeneral.png differ
diff --git a/etc/desktop/icons/32x32/proofgeneral.png b/etc/desktop/icons/32x32/proofgeneral.png
new file mode 100644
index 00000000..f2686ba6
Binary files /dev/null and b/etc/desktop/icons/32x32/proofgeneral.png differ
diff --git a/etc/desktop/icons/48x48/proofgeneral.png b/etc/desktop/icons/48x48/proofgeneral.png
new file mode 100644
index 00000000..f868abae
Binary files /dev/null and b/etc/desktop/icons/48x48/proofgeneral.png differ
-- 
cgit v1.2.3