diff .settings/org.eclipse.core.resources.prefs @ 1:ede4c4ead6f5

properties fuer die name server in web.xml eingebaut, zum instlalieren muss web.xml.template in web.xml umbenannt werden.
author dwinter
date Thu, 30 Jun 2011 11:21:29 +0200
parents 813aa2c5bc4b
children
line wrap: on
line diff
--- a/.settings/org.eclipse.core.resources.prefs	Wed Nov 24 16:56:28 2010 +0100
+++ b/.settings/org.eclipse.core.resources.prefs	Thu Jun 30 11:21:29 2011 +0200
@@ -1,3 +1,4 @@
-#Mon Aug 16 12:52:16 CEST 2010
+#Fri Apr 29 11:49:04 CEST 2011
 eclipse.preferences.version=1
 encoding//src/de/mpiwg/itgroup/metaDataManagerRestlet/staticPages/PID.html=UTF-8
+encoding/<project>=UTF-8