2007-10-11 14:25:15 +00:00
|
|
|
#Thu Oct 11 09:46:07 EDT 2007
|
2007-05-07 13:20:53 +00:00
|
|
|
eclipse.preferences.version=1
|
|
|
|
formatter_profile=_WALA
|
|
|
|
formatter_settings_version=10
|
2007-10-11 14:25:15 +00:00
|
|
|
instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
|