Mini Shell

Name	Size	Permissions	Options

help.png	0.768 KB	-rw-r--r--
magnifier.png	0.601 KB	-rw-r--r--
page_white_code.png	0.589 KB	-rw-r--r--
page_white_copy.png	0.302 KB	-rw-r--r--
printer.png	0.714 KB	-rw-r--r--
shCore.css	6.69 KB	-rw-r--r--
shThemeDefault.css	3.638 KB	-rw-r--r--
shThemeDjango.css	3.663 KB	-rw-r--r--
shThemeEmacs.css	3.652 KB	-rw-r--r--
shThemeFadeToGrey.css	3.679 KB	-rw-r--r--
shThemeMidnight.css	3.663 KB	-rw-r--r--
shThemeRDark.css	3.682 KB	-rw-r--r--
wrapping.png	0.616 KB	-rw-r--r--