From 5eaedb52766477f287bfe6f149e27713e10fc743 Mon Sep 17 00:00:00 2001 From: Jakob Odersky Date: Sun, 26 Apr 2015 15:57:42 +0200 Subject: remove dead code --- toggle-workspace@jodersky.github.com/extension.js | 2 -- 1 file changed, 2 deletions(-) diff --git a/toggle-workspace@jodersky.github.com/extension.js b/toggle-workspace@jodersky.github.com/extension.js index 6da69b3..5309f49 100644 --- a/toggle-workspace@jodersky.github.com/extension.js +++ b/toggle-workspace@jodersky.github.com/extension.js @@ -1,5 +1,3 @@ - -const St = imports.gi.St; const Main = imports.ui.main; const Meta = imports.gi.Meta; const Shell = imports.gi.Shell; -- cgit v1.2.3