comparison mx.sh @ 6318:8886fdfde36c

Factor out code that kills loop exits In this code, do not use replaceFloating to kill ValueProxies since they can be replaced by null
author Gilles Duboscq <duboscq@ssw.jku.at>
date Thu, 06 Sep 2012 16:42:45 +0200
parents 9a4f210abb5e
children
comparison
equal deleted inserted replaced
6313:7ac010ae8c97 6318:8886fdfde36c