Mercurial > hg > truffle
diff 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 |
author | Thomas Wuerthinger <thomas.wuerthinger@oracle.com> |
---|---|
date | Thu, 14 Mar 2013 19:00:42 +0100 |
parents | 527724d26036 |
children |