From 5f903893c50e16c7148017a73f17420f8d877d4c Mon Sep 17 00:00:00 2001 From: Dan Boehm Date: Mon, 26 Jun 2017 13:17:29 -0500 Subject: [PATCH] Remove bad import Fixes #36 --- src/prefs.js | 1 - 1 file changed, 1 deletion(-) diff --git a/src/prefs.js b/src/prefs.js index 9db75c9..99bc0af 100644 --- a/src/prefs.js +++ b/src/prefs.js @@ -7,7 +7,6 @@ const Gdk = imports.gi.Gdk; const Gio = imports.gi.Gio; const GLib = imports.gi.GLib; const Mainloop = imports.mainloop; // timer -const St = imports.gi.St; const Clutter = imports.gi.Clutter; const Lang = imports.lang;