Remove gradient from record-table headers
Description
Description
Details
Details
- Provenance
Thomas Bruederli Authored on Apr 22 2017, 12:14 PM mollekopf Pushed on Sep 6 2023, 2:57 PM - Parents
- R113:d4e4cfef926b: More flattening of jQuery UI styles
- Branches
- Unknown
- Tags