]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helmpot/pot_mask
This commit was manufactured by cvs2svn to create branch 'start'.
[helm.git] / helm / helmpot / pot_mask
diff --git a/helm/helmpot/pot_mask b/helm/helmpot/pot_mask
new file mode 100644 (file)
index 0000000..09f71a6
--- /dev/null
@@ -0,0 +1,6 @@
+#define pot_mask_width 16
+#define pot_mask_height 16
+static unsigned char pot_mask_bits[] = {
+   0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x03, 0xe0, 0x0f, 0xe0, 0x0f,
+   0xff, 0x7f, 0xff, 0xff, 0xff, 0xff, 0xfe, 0xff, 0xfe, 0xff, 0xfc, 0x7f,
+   0xfc, 0x7f, 0xf8, 0x3f, 0xf0, 0x1f, 0x00, 0x00};