--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bitmaps/decimalTab.xbm	Fri Oct 27 17:58:25 1995 +0100
@@ -0,0 +1,8 @@
+#define decimalTab_width 16
+#define decimalTab_height 16
+#define decimalTab_x_hot -1
+#define decimalTab_y_hot -1
+static char decimalTab_bits[] = {
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xc0, 0x03, 0xf0, 0x0f, 0xf0, 0x0f,
+   0xf8, 0x1f, 0x78, 0x1e, 0x78, 0x1e, 0xf8, 0x1f, 0xf0, 0x0f, 0xf0, 0x0f,
+   0xc0, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00};