Mercurial > hg > truffle
diff hotspot/.settings/org.eclipse.core.runtime.prefs @ 7368:f04a5e46cdd2
new facility to add branch probabilities for snippets, probabilities for frequently-used snippets
author | Lukas Stadler <lukas.stadler@jku.at> |
---|---|
date | Mon, 14 Jan 2013 16:29:08 +0100 |
parents | e53926b0a6cb |
children |