remove any global prefs the add-on sets, remove another obsolete function, fix missin...
[mandelbrot.git] / skin /
drwxr-xr-x   ..
drwxr-xr-x - classic