]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helmpot/pot_mask
This commit was manufactured by cvs2svn to create branch 'init'.
[helm.git] / helm / helmpot / pot_mask
diff --git a/helm/helmpot/pot_mask b/helm/helmpot/pot_mask
deleted file mode 100644 (file)
index 09f71a6..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-#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};