diff options
author | maralorn <malte.brandy@maralorn.de> | 2021-09-30 23:22:11 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-30 23:22:11 +0200 |
commit | 786b429ace50ce4c65c42646a57d9ff1589ba76f (patch) | |
tree | 1cc0587521184143a9789d18cd6eea73867291c0 /pkgs/applications/terminal-emulators | |
parent | 920806938b5b9cad0781ad70326af8df016f7d55 (diff) | |
parent | 49041cd82eeae4d8413c79a10e46d8a1d9e8c083 (diff) |
Merge pull request #137131 from piegamesde/gnome-extensions
gnomeExtensions: add patch framework and fix extensions
Diffstat (limited to 'pkgs/applications/terminal-emulators')
0 files changed, 0 insertions, 0 deletions