comparison mx.sh @ 7107:770901ff8f80

print a message when optimistic optimizations are disabled
author Christian Haeubl <haeubl@ssw.jku.at>
date Thu, 29 Nov 2012 11:00:32 +0100
parents 9a4f210abb5e
children
comparison
equal deleted inserted replaced
7089:af30115c9d0e 7107:770901ff8f80