X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhelmpot%2Fpot_mask;fp=helm%2Fhelmpot%2Fpot_mask;h=09f71a6a9c158f5784e145e0c3d7608c02e9b74f;hb=d70d5de1ec9ccc86c9df45036245af34c37575ea;hp=0000000000000000000000000000000000000000;hpb=99d60351f793983bb7633334ea59e95feb36c72c;p=helm.git

diff --git a/helm/helmpot/pot_mask b/helm/helmpot/pot_mask
new file mode 100644
index 000000000..09f71a6a9
--- /dev/null
+++ b/helm/helmpot/pot_mask
@@ -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};