comparison mx/eclipse-settings/org.eclipse.jdt.apt.core.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 592782b4bc00
children
comparison
equal deleted inserted replaced
11934:dca16d6f9d65 11935:12e9d529fd1d