Mercurial > hg > truffle
diff mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 15814:066ed90d15a7
[inlining] another renaming to avoid misleading type suggestion (1 of 2)
author | Miguel Garcia <miguel.m.garcia@oracle.com> |
---|---|
date | Tue, 20 May 2014 15:45:07 +0200 |
parents | 3417a9177425 |
children |