Remove unused theme images
Description
Description
Details
Details
- Provenance
Thomas Bruederli Authored on Apr 23 2017, 3:05 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:7ead15244593: Remove gradient from record-table headers
- Branches
- Unknown
- Tags
