nixpkgs/pkgs/desktops/gnome-3/extensions/drop-down-terminal
2020-03-28 18:41:13 -04:00
..
default.nix gnomeExtensions.drop-down-terminal: v24 -> unstable-2020-03-25 2020-03-28 18:41:13 -04:00
fix_vte_and_gjs.patch gnomeExtensions.drop-down-terminal: init at 24 2019-10-02 09:44:02 -04:00