diff mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 13967:4cd7c6629841

mx_graal: fix pylint 1.1.0 warnings
author Bernhard Urban <bernhard.urban@jku.at>
date Mon, 17 Feb 2014 23:09:19 +0100
parents 2ba54e75b032
children 8db6e76cb658
line wrap: on
line diff