nixpkgs/pkgs/desktops/gnome-3/extensions/drop-down-terminal
2020-03-24 07:11:28 +01:00
..
default.nix gnomeExtensions.drop-down-terminal: mark as broken 2020-03-24 07:11:28 +01:00
fix_vte_and_gjs.patch