Mercurial > hg > truffle
diff mx/eclipse-settings/org.eclipse.core.resources.prefs @ 11935:12e9d529fd1d
suggest corrections for mistyped Graal options (GRAAL-521)
author | Doug Simon <doug.simon@oracle.com> |
---|---|
date | Tue, 08 Oct 2013 13:30:10 +0200 |
parents | 9d74a0d7b231 |
children | f11d3d5248b5 |