diff .settings/org.eclipse.jdt.core.prefs @ 2:79c8c1f9fd7d

use the same ID for the editor as JDT does
author Dirk Olmes <dirk@xanthippe.ping.de>
date Mon, 15 Dec 2014 06:25:32 +0100
parents ca07a15b6cc8
children 935df68696c0
line wrap: on
line diff