Merge pull request #494 from marwahaha/tools-xml

tools now pointing locally

1 files changed, 1 insertions, 1 deletions

diff --git a/gui.js b/gui.js
index 1454ba3..e14dcd3 100644
--- a/gui.js
+++ b/gui.js
@@ -2350,7 +2350,7 @@ IDE_Morph.prototype.projectMenu = function () {
         function () {
             myself.droppedText(
                 myself.getURL(
-                    'http://snap.berkeley.edu/snapsource/tools.xml'
+                    'tools.xml'
                 ),
                 'tools'
             );