/* XPM */
static const char * history_mini_xpm[] = {
"7 6 2 1",
" 	c NONE",
".	c #000000000000",
"       ",
".......",
" ..... ",
"  ...  ",
"   .   ",
"       "};