diff options
| author | david_williams | 2008-06-17 04:40:25 +0000 |
|---|---|---|
| committer | david_williams | 2008-06-17 04:40:25 +0000 |
| commit | d08063f4865bd48e46c99814c84bc0a93d47910d (patch) | |
| tree | ee6c5b1c2b96c9da5a196c5f51ed6d2e7a536b41 /releng.datatools/.settings/org.eclipse.core.resources.prefs | |
| parent | d5e31502d289d84a6e2f7e413924f844febab91e (diff) | |
| download | webtools.maps-d08063f4865bd48e46c99814c84bc0a93d47910d.tar.gz webtools.maps-d08063f4865bd48e46c99814c84bc0a93d47910d.tar.xz webtools.maps-d08063f4865bd48e46c99814c84bc0a93d47910d.zip | |
cvs hygene
Diffstat (limited to 'releng.datatools/.settings/org.eclipse.core.resources.prefs')
| -rw-r--r-- | releng.datatools/.settings/org.eclipse.core.resources.prefs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/releng.datatools/.settings/org.eclipse.core.resources.prefs b/releng.datatools/.settings/org.eclipse.core.resources.prefs deleted file mode 100644 index 33912599d..000000000 --- a/releng.datatools/.settings/org.eclipse.core.resources.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Mon Dec 17 18:14:20 EST 2007 -eclipse.preferences.version=1 -encoding/<project>=ISO-8859-1 |