[gnome-shell] main: Remove some cruft

[Jasper St. Pierre <jstpierre src gnome org>]

commit b257029d3e6cf9492d434a71e01f21887e81c139
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Sun Sep 2 20:51:53 2012 -0300

    main: Remove some cruft
    
    Main.hotCorners has been empty for a long, long time.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=683156

 js/ui/main.js |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/main.js b/js/ui/main.js
index b8b891c..3bb05c6 100644
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -48,7 +48,6 @@ const DEFAULT_BACKGROUND_COLOR = Clutter.Color.from_pixel(0x2266bbff);
 let automountManager = null;
 let autorunManager = null;
 let panel = null;
-let hotCorners = [];
 let overview = null;
 let runDialog = null;
 let lookingGlass = null;