org.eclipse.jdt.ui.prefs « .settings « ri - android_external_jsr305 - Unnamed repository; edit this file 'description' to name the repository.

index : android_external_jsr305

Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff stats

path: root/ri/.settings/org.eclipse.jdt.ui.prefs

blob: f1d942c839c166dc48859511a73f8fed0de779c2 (plain)

1
2
3

#Wed Jun 20 13:34:34 GMT-05:00 2007
eclipse.preferences.version=1
internal.default.compliance=default