diff options
| author | Tor Hedin Brønner <torhedinbronner@gmail.com> | 2018-04-03 14:50:36 +0200 |
|---|---|---|
| committer | Tor Hedin Brønner <torhedinbronner@gmail.com> | 2018-04-03 16:12:18 +0200 |
| commit | 7f3e2f62c1ca89e4259399949ba5e5ecbcccaddf (patch) | |
| tree | acc1dc039194586ffddb65786bef48756e37470a /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 43ce9b93f5368edf60d5535ae0d1eef1a76fa68e (diff) | |
gnome3.gnome-tweaks: make tweaks aware of gnome-shell-extensions
This makes it possible to use the `user-theme` extension.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions