From 52df842dd1739d6c4ff942a3821cdadd034c4ca0 Mon Sep 17 00:00:00 2001 From: Kunal Marwaha Date: Thu, 3 Jul 2014 07:14:42 -0700 Subject: tools now pointing locally --- gui.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gui.js') diff --git a/gui.js b/gui.js index 716f93b..edf8bf5 100644 --- a/gui.js +++ b/gui.js @@ -2365,7 +2365,7 @@ IDE_Morph.prototype.projectMenu = function () { function () { myself.droppedText( myself.getURL( - 'http://snap.berkeley.edu/snapsource/tools.xml' + 'tools.xml' ), 'tools' ); -- cgit v1.3.1