diff options
Diffstat (limited to 'debian/coq.xpm')
| -rw-r--r-- | debian/coq.xpm | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/debian/coq.xpm b/debian/coq.xpm new file mode 100644 index 00000000..fe188d02 --- /dev/null +++ b/debian/coq.xpm @@ -0,0 +1,52 @@ +/* XPM */ +static char * coq_xpm[] = { +"32 32 17 1", +" c None", +". c #5A261F", +"+ c #342A2C", +"@ c #BF381C", +"# c #EAB48F", +"$ c #B9ADA8", +"% c #F2D3B6", +"& c #D35E3A", +"* c #FCFDF9", +"= c #A59082", +"- c #CA7852", +"; c #220C08", +"> c #837671", +", c #923827", +"' c #6A4D4B", +") c #E19667", +"! c #996252", +" ", +" ", +" .+ ", +" @@#$$ ", +" @%%@&*= ", +" %#@@-**; ", +" =@@@>*** ", +" $;@,**** ", +" ;*****' ", +" $%*****$ = ", +" %*********; **$ ", +" $************ ;***+ ", +" =*************+**+****%. ", +" %**************'***%*#=+ ", +" =%%%******%%*%#**##*%))). ", +" >%%%%#%%**%%%%%#%%##--#- ", +" ##%%!%%%%%#%#%##-',-)-; ", +" +##%#!-)##))-&&,,.,--! ", +" ')##);,@.,));...;,'; ", +" !--)-&;;..&.;.;,'!; ", +" $,&,,@..;,;.;,,!; ", +" @.;,-,,,,,,,' ", +" ',,...;.;; ", +" ..;;.;. ", +" ;;;;+ ", +" ;' + ", +" ;> + ", +" #'.-'')= ", +" '+> $! ", +" ", +" ", +" "}; |