diff mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 17155:a8eb7473d58a

Add test for interface types
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 19 Sep 2014 09:59:56 +0200
parents 3417a9177425
children
line wrap: on
line diff