Automated merge with https://gss.googlecode.com/hg/
[pithos] / .settings / com.google.gdt.eclipse.core.prefs
2010-11-18 Christos V. StathisRemoved gwt eclipse plugin settings