Remove pop shell

finchie

Jun 3, 2024, 4:10 PM

GRPLLE3PVPG5W5M4O4VTGXKSDUYOCS3NFPPNXR4I6PLIJGDAOECQC

Dependencies

• [2] 5FI47NSA Migrate to home-manager

Change contents

• edit in home.nix at line 121
  [2.1712]→[2.1712:1742](∅→∅)
  − gnomeExtensions.pop-shell