diff options
| author | Carsten Weisse <[email protected]> | 2006-10-24 22:15:53 +0000 |
|---|---|---|
| committer | Carsten Weisse <[email protected]> | 2006-10-24 22:15:53 +0000 |
| commit | 2f2869e9278bcbf51e2f8e9d66f289a40237e21a (patch) | |
| tree | e9a4472a36216e093e75656a05039ce92135f0bd /.settings | |
| parent | f33afade0c1201fb610eb6abc9a33cbeb553a43e (diff) | |
merge r_0_9_5 into HEAD
Diffstat (limited to '.settings')
| -rw-r--r-- | .settings/org.eclipse.core.resources.prefs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs new file mode 100644 index 0000000..75e425c --- /dev/null +++ b/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,3 @@ +#Wed Oct 25 00:11:03 CEST 2006 +eclipse.preferences.version=1 +encoding/<project>=ISO-8859-1 |