diff options
Diffstat (limited to 'coq/ML4PG/icons/sh1.xpm')
| -rw-r--r-- | coq/ML4PG/icons/sh1.xpm | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/coq/ML4PG/icons/sh1.xpm b/coq/ML4PG/icons/sh1.xpm new file mode 100644 index 00000000..3fa7dde6 --- /dev/null +++ b/coq/ML4PG/icons/sh1.xpm @@ -0,0 +1,21 @@ +/* XPM */ +static char * sh_xpm[] = { +"16 16 2 1", +" c None", +". c #FB0920", +" ", +" ", +" ", +" ", +" ... . . ", +" . . . . ", +" . . . ", +" ... ...... ", +" . . . ", +" . . . . ", +" ... . . ", +" ", +" ", +" ", +" ", +" "}; |