[etoys-dev] [SVN][754] Delete old version