Mercurial > hg > truffle
diff mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 21649:1c76a5662753
Merge with 645f170013a451083414ff695412c465e9d2ebf0
author | Michael Van De Vanter <michael.van.de.vanter@oracle.com> |
---|---|
date | Mon, 01 Jun 2015 17:47:28 -0700 |
parents | 3417a9177425 |
children |