svn-gvsig-desktop / tmp / trunk / servidor / WorkSpace_Servidor / wps-plugin-0.4.0-operation-StreetsMap / .settings / org.eclipse.jdt.core.prefs @ 26512
History | View | Annotate | Download (329 Bytes)
| 1 |
#Thu Feb 21 12:16:56 GMT+01:00 2008 |
|---|---|
| 2 |
eclipse.preferences.version=1 |
| 3 |
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5 |
| 4 |
org.eclipse.jdt.core.compiler.compliance=1.5 |
| 5 |
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error |
| 6 |
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error |
| 7 |
org.eclipse.jdt.core.compiler.source=1.5 |