add extra text to printed repo name to differentiate e.g toolkit vs. browser
[themes.git] / EarlyBlue / navigator / icons / navigatoricons-small.png
2008-12-23 Robert KaiserEarlyBlue 2.0a1 -> 2.0a2, navigator part, also remove...