deegree - Revision 34362: /archive/geoide/geoide-server/trunk/src/.settings

• ..
• org.eclipse.jdt.core.prefs