org.eclipse.core.resources.prefs « .settings - Projektthemenvergabe.git - A tool for managing project assignment

summary refs log tree commit diff stats

path: root/.settings/org.eclipse.core.resources.prefs

blob: 4824b8026319a8fb303971008a7d59a816d58bd6 (plain)

1 2	`eclipse.preferences.version=1 encoding/<project>=UTF-8`