comparison mxtool/.project @ 8284:1756b12d2246

Make optimistic optimizations customizable.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Thu, 14 Mar 2013 19:00:42 +0100
parents 527724d26036
children
comparison
equal deleted inserted replaced
8276:0269ef50021f 8284:1756b12d2246