The gnome-themes-extras no longer has industrial engine since GNOME 2.20 and
nobody has steps up to fix it. Therefore, it has been expired and remove it.
Reminded by: linimon's script of scheduled for deletion
Description
Description
Details
Details
- Provenance
mezz Authored on - Parents
- rP212309: Update to 1.2.3
- Branches
- Unknown
- Tags