view .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 source

#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