diff options
| author | dgp <dgp@users.sourceforge.net> | 2016-06-16 15:19:41 (GMT) |
|---|---|---|
| committer | dgp <dgp@users.sourceforge.net> | 2016-06-16 15:19:41 (GMT) |
| commit | 9899c6d8097c67a31bc107c77ff8848bcc23d6db (patch) | |
| tree | f824e5fe9e245730af806b3a5aabf69b2c8e1e08 /.settings | |
| parent | b700360ad9501defb0b1e2d86353ac8d0db8eef4 (diff) | |
| parent | 3f61f168eb9d98c28312cdea25b214827c3692f2 (diff) | |
| download | tcl-9899c6d8097c67a31bc107c77ff8848bcc23d6db.zip tcl-9899c6d8097c67a31bc107c77ff8848bcc23d6db.tar.gz tcl-9899c6d8097c67a31bc107c77ff8848bcc23d6db.tar.bz2 | |
Merge up to a197e6853e. Still works. Next checkin restarts the segfaults.
Diffstat (limited to '.settings')
| -rw-r--r-- | .settings/org.eclipse.core.resources.prefs | 2 | ||||
| -rw-r--r-- | .settings/org.eclipse.core.runtime.prefs | 2 |
2 files changed, 4 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..99f26c0 --- /dev/null +++ b/.settings/org.eclipse.core.resources.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +encoding/<project>=UTF-8 diff --git a/.settings/org.eclipse.core.runtime.prefs b/.settings/org.eclipse.core.runtime.prefs new file mode 100644 index 0000000..5a0ad22 --- /dev/null +++ b/.settings/org.eclipse.core.runtime.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +line.separator=\n |