diff -r 000000000000 -r eda811e31b2e icons/editredo.xpm
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/icons/editredo.xpm	Wed Feb 01 16:14:55 2006 +0000
@@ -0,0 +1,36 @@
+/* XPM */
+static const char *editredo_xpm[] = {
+/* columns rows colors chars-per-pixel */
+"22 22 8 1",
+"  c Gray100",
+". c #848284",
+"X c #000084",
+"o c Gray0",
+"O c None",
+"+ c Gray0",
+"@ c Gray0",
+"# c Gray0",
+/* pixels */
+"OOOOOOOOOOOOOOOOOOOOOO",
+"OOOOOOOOOOOOOOOOOOOOOO",
+"OOOOOOOOOOOOOOOOOOOOOO",
+"OOOOOOOOOOOOOOOOOOOOOO",
+"OOOOOOOOOOOOOOOOOOOOOO",
+"OOOO.XXXXXXOOOOOOOOOOO",
+"OOOXXXXXXXXXXOOOOOOXOO",
+"OO.XXOOOOOOXXXXOOOXXOO",
+"OOXXOOOOOOOOOXXXOXXXOO",
+"OOXXOOOOOOOOOOXXXXXXOO",
+"OOXXOOOOOOOOOOOXXXXXOO",
+"OOXXOOOOOOOOOOXXXXXXOO",
+"OOXXOOOOOOOOOXXXXXXXOO",
+"OO.XXOOOOOOOXXXXXXXXOO",
+"OOOXXX.OOOOOOOOOOOOOOO",
+"OOOOXXXOOOOOOOOOOOOOOO",
+"OOOOOOOOOOOOOOOOOOOOOO",
+"OOOOOOOOOOOOOOOOOOOOOO",
+"OOOOOOOOOOOOOOOOOOOOOO",
+"OOOOOOOOOOOOOOOOOOOOOO",
+"OOOOOOOOOOOOOOOOOOOOOO",
+"OOOOOOOOOOOOOOOOOOOOOO"
+};