Added externaltools plugin
[phpeclipse.git] / archive / net.sourceforge.phpeclipse.news / .settings / org.eclipse.core.resources.prefs
1 #Tue Oct 05 18:40:07 CEST 2004\r
2 eclipse.preferences.version=1\r
3 encoding//src/net/sourceforge/phpeclipse/news/messages.properties=8859_1\r