Mercurial > hg > truffle
comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 7877:e56dda646972
rename CheckCastElimination option to ConditionalElimination
author | Lukas Stadler <lukas.stadler@jku.at> |
---|---|
date | Tue, 26 Feb 2013 17:30:22 +0100 |
parents | 3417a9177425 |
children |
comparison
equal
deleted
inserted
replaced
7876:33dfae47db83 | 7877:e56dda646972 |
---|