mitch/gnome-shell-teatime
1
0
Fork 0
mirror of https://github.com/oleid/gnome-shell-teatime.git synced 2022-04-29 18:53:50 +00:00
Code Issues Projects Releases Wiki Activity

Remove bad import

Browse Source 
Fixes #36
This commit is contained in:
Dan Boehm 2017-06-26 13:17:29 -05:00 committed by GitHub
parent 171b506c92
commit 5f903893c5
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/prefs.js
View File

@ -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;