diff options
| author | Tom Hunze <dev@thunze.de> | 2025-12-13 16:49:11 +0100 |
|---|---|---|
| committer | Tom Hunze <dev@thunze.de> | 2025-12-13 16:49:11 +0100 |
| commit | 384030fff270030eba7d25de92071315c5bbb281 (patch) | |
| tree | e0632e7358c6db321289a6904d1ed51ab99b7c55 /pkgs/development/python-modules/python-ev3dev2 | |
| parent | 45529b635be6dec9674d5ec034edb81fa6891291 (diff) | |
gnomeExtensions.icon-hider: remove unused derivation
This extension was dropped in #296240 but the derivation was never
removed from the tree.
Diffstat (limited to 'pkgs/development/python-modules/python-ev3dev2')
0 files changed, 0 insertions, 0 deletions