diff options
| author | david_williams | 2006-05-05 03:51:41 +0000 |
|---|---|---|
| committer | david_williams | 2006-05-05 03:51:41 +0000 |
| commit | d38b5db0f460386d60da262570752060db1e02d0 (patch) | |
| tree | b23384d5ea6601b4085bb2799c7cff1abb91899f /releng/.settings/org.eclipse.core.resources.prefs | |
| parent | 1cfda4ea4c43b6c8e43351bb5c2857431a766312 (diff) | |
| download | webtools.maps-d38b5db0f460386d60da262570752060db1e02d0.tar.gz webtools.maps-d38b5db0f460386d60da262570752060db1e02d0.tar.xz webtools.maps-d38b5db0f460386d60da262570752060db1e02d0.zip | |
minor
Diffstat (limited to 'releng/.settings/org.eclipse.core.resources.prefs')
| -rw-r--r-- | releng/.settings/org.eclipse.core.resources.prefs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/releng/.settings/org.eclipse.core.resources.prefs b/releng/.settings/org.eclipse.core.resources.prefs deleted file mode 100644 index 1222ae67f..000000000 --- a/releng/.settings/org.eclipse.core.resources.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Tue Apr 25 23:14:46 EDT 2006 -eclipse.preferences.version=1 -encoding/<project>=ISO-8859-1 |