Bring back delete button for identities in default skin (#1488542)
Description
Description
Details
Details
- Provenance
Thomas Bruederli Authored on Jun 20 2012, 2:09 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:7dad5945a0c7: Better icons with distinct shapes for priority columns (#1488377); fix overflow…
- Branches
- Unknown
- Tags
