Florian Müllner e56d7f5021 cleanup: Remove unused variables ...

Spotted by eslint.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/607

2019-07-01 23:44:10 +02:00

..

main.js

cleanup: Remove unused variables

2019-07-01 23:44:10 +02:00