From 1076694d9c01a04e78508599aec4e8e1c674d5f5 Mon Sep 17 00:00:00 2001 From: jmoenig Date: Fri, 18 Jul 2014 14:54:29 +0200 Subject: ensure unique names for costumes created by the paint editor --- lists.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lists.js') diff --git a/lists.js b/lists.js index 028827a..c56789a 100644 --- a/lists.js +++ b/lists.js @@ -61,7 +61,7 @@ PushButtonMorph, SyntaxElementMorph, Color, Point, WatcherMorph, StringMorph, SpriteMorph, ScrollFrameMorph, CellMorph, ArrowMorph, MenuMorph, snapEquals, Morph, isNil, localize, MorphicPreferences*/ -modules.lists = '2014-July-17'; +modules.lists = '2014-July-18'; var List; var ListWatcherMorph; -- cgit v1.3.1