Mercurial > hg > truffle
diff mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 7796:6ad077b60cb3
Minor cleanup.
author | Christian Humer <christian.humer@gmail.com> |
---|---|
date | Fri, 15 Feb 2013 20:04:03 +0100 |
parents | 1ca1425a067f |
children | c6c3515bea8e |