diff options
| author | Jakob Odersky <jodersky@gmail.com> | 2015-04-26 15:57:42 +0200 |
|---|---|---|
| committer | Jakob Odersky <jodersky@gmail.com> | 2015-04-26 15:57:42 +0200 |
| commit | 5eaedb52766477f287bfe6f149e27713e10fc743 (patch) | |
| tree | 0d4d226f58469fee87ef5f3f1fda6547c357b4a9 | |
| parent | 63fa157bf60a49a3046fb9782a4aed0a6fa621a0 (diff) | |
| download | toggle-workspace-master.tar.gz toggle-workspace-master.tar.bz2 toggle-workspace-master.zip | |
| -rw-r--r-- | toggle-workspace@jodersky.github.com/extension.js | 2 |
1 files changed, 0 insertions, 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; |