annotate .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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
ede4c4ead6f5 properties fuer die name server in web.xml eingebaut,
dwinter
parents: 0
diff changeset
1 #Fri Apr 29 11:49:04 CEST 2011
0
813aa2c5bc4b first ingest
dwinter
parents:
diff changeset
2 eclipse.preferences.version=1
813aa2c5bc4b first ingest
dwinter
parents:
diff changeset
3 encoding//src/de/mpiwg/itgroup/metaDataManagerRestlet/staticPages/PID.html=UTF-8
1
ede4c4ead6f5 properties fuer die name server in web.xml eingebaut,
dwinter
parents: 0
diff changeset
4 encoding/<project>=UTF-8