diff options
author | Tzafrir Cohen <tzafrir@cohens.org.il> | 2013-12-04 10:52:15 +0200 |
---|---|---|
committer | Tzafrir Cohen <tzafrir@cohens.org.il> | 2013-12-04 10:52:15 +0200 |
commit | b16782900df0156a9c5a86c47aa7a34a5cf015a1 (patch) | |
tree | 089b524a7a97c3172bf37a5d9ab0092f5fb816f6 /.settings | |
parent | 8566ed0ea5f09e05771de628a02866f743519df9 (diff) |
Another Ecplise config file
Diffstat (limited to '.settings')
-rw-r--r-- | .settings/org.eclipse.jdt.ui.prefs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.settings/org.eclipse.jdt.ui.prefs b/.settings/org.eclipse.jdt.ui.prefs new file mode 100644 index 0000000..b9aab59 --- /dev/null +++ b/.settings/org.eclipse.jdt.ui.prefs @@ -0,0 +1,3 @@ +eclipse.preferences.version=1 +formatter_profile=_Dor +formatter_settings_version=12 |