From 62a3a2c0b51750d6a9d779dcc86efd23ed10633f Mon Sep 17 00:00:00 2001 From: Luis Guzman <ark@switnet.org> Date: Tue, 21 Sep 2021 19:12:34 -0500 Subject: [PATCH] Remove unnecessary change to current version --- helpers/make-gnome-tweak-tool | 1 - 1 file changed, 1 deletion(-) diff --git a/helpers/make-gnome-tweak-tool b/helpers/make-gnome-tweak-tool index ae06a70a..9f0f8b4f 100644 --- a/helpers/make-gnome-tweak-tool +++ b/helpers/make-gnome-tweak-tool @@ -21,7 +21,6 @@ VERSION=2 . ./config sed '/ShellShowsAppMenu/s/True/False/' -i ./gtweak/utils.py -sed '/ApplicationMenuTweak()/d' -i gtweak/tweaks/tweak_group_top_bar.py changelog "Disable ShellShowsAppMenu" compile -- GitLab