Mercurial > hg > truffle
diff mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 9706:f44d7e24cebd
Fixes for the merge and inlining cleanups.
author | Christian Haeubl <haeubl@ssw.jku.at> |
---|---|
date | Tue, 14 May 2013 10:17:06 +0200 |
parents | 3417a9177425 |
children |