diff TOOLS/mplmult.sh @ 33894:b2e63fe7fe17

Remove needless guiInfo member FilenameChanged. Use existing member NewPlay for this, because FilenameChanged and NewPlay == GUI_FILE_NEW mean the same.
author ib
date Fri, 12 Aug 2011 14:09:36 +0000
parents 998475fffe0c
children 7bdb1c022122
line wrap: on
line diff