comparison .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
comparison
equal deleted inserted replaced
0:813aa2c5bc4b 1:ede4c4ead6f5
1 #Mon Aug 16 12:52:16 CEST 2010 1 #Fri Apr 29 11:49:04 CEST 2011
2 eclipse.preferences.version=1 2 eclipse.preferences.version=1
3 encoding//src/de/mpiwg/itgroup/metaDataManagerRestlet/staticPages/PID.html=UTF-8 3 encoding//src/de/mpiwg/itgroup/metaDataManagerRestlet/staticPages/PID.html=UTF-8
4 encoding/<project>=UTF-8