Jan Tojnar 687254fe2a gnomeExtensions.drop-down-terminal: mark as broken		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