From 18a7436d1e4b2674983bc8cb960c3aa1d587ebce Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rub=C3=A9n=20Rodr=C3=ADguez?= <ruben@trisquel.info> Date: Mon, 26 May 2014 23:48:17 +0200 Subject: [PATCH] Updated midori --- helpers/make-midori | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helpers/make-midori b/helpers/make-midori index e35b4890..8a4b10a8 100644 --- a/helpers/make-midori +++ b/helpers/make-midori @@ -25,7 +25,7 @@ EXTERNAL='deb-src http://ppa.launchpad.net/midori/ppa/ubuntu $UPSTREAM main' # https://trisquel.info/en/issues/7753 echo "NoDisplay=true" >> data/midori-private.desktop.in #sed '/midori-private/d' -i ./po/POTFILES.in -sed '/Private Shortcut/,1000d' -i data/midori.desktop.in +#sed '/Private Shortcut/,1000d' -i data/midori.desktop.in rm debian/patches -rf -- GitLab