From c1d5910f33584837a5c33c98f1e750789e6221fc Mon Sep 17 00:00:00 2001 From: jmoenig Date: Fri, 18 Jul 2014 07:44:26 +0200 Subject: list op fixes, thanks, Brian! --- gui.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gui.js') diff --git a/gui.js b/gui.js index 2bdcb56..208c6c7 100644 --- a/gui.js +++ b/gui.js @@ -69,7 +69,7 @@ SpeechBubbleMorph*/ // Global stuff //////////////////////////////////////////////////////// -modules.gui = '2014-July-14'; +modules.gui = '2014-July-17'; // Declarations -- cgit v1.3.1