From 7fa1834ab6c88b644aab7c5c771878dcbcf3cca2 Mon Sep 17 00:00:00 2001 From: "Jasper St. Pierre" Date: Tue, 15 Apr 2014 17:54:40 -0400 Subject: [PATCH] extension-prefs: Remove extra whitespace --- src/gnome-shell-extension-prefs.c | 1 - 1 file changed, 1 deletion(-) diff --git a/src/gnome-shell-extension-prefs.c b/src/gnome-shell-extension-prefs.c index 17883207a..973f3c120 100644 --- a/src/gnome-shell-extension-prefs.c +++ b/src/gnome-shell-extension-prefs.c @@ -36,7 +36,6 @@ main (int argc, char *argv[]) return 1; } - if (!gjs_context_eval (context, "const Main = imports.extensionPrefs.main; Main.main(ARGV);", -1,