encodage des caractères : minwii semble être content avec du iso-8859-1
[minwii.git] / src / data / themes /
drwxr-xr-x   ..
drwxr-xr-x - default
drwxr-xr-x - gray
drwxr-xr-x - tools