diff mxtool/.pydevproject @ 7213:ceb8c5b29419

print more details when -XX:+PrintDeoptimizationDetails is enabled
author Christian Haeubl <haeubl@ssw.jku.at>
date Mon, 03 Dec 2012 13:44:12 +0100
parents 527724d26036
children
line wrap: on
line diff