diff --git a/.classpath b/.classpath index 2a4ed4d..0ded8e2 100644 --- a/.classpath +++ b/.classpath @@ -1,6 +1,6 @@ - + @@ -30,5 +30,5 @@ - + diff --git a/.settings/com.google.gdt.eclipse.core.prefs b/.settings/com.google.gdt.eclipse.core.prefs index 020c803..3226bce 100644 --- a/.settings/com.google.gdt.eclipse.core.prefs +++ b/.settings/com.google.gdt.eclipse.core.prefs @@ -1,5 +1,5 @@ eclipse.preferences.version=1 jarsExcludedFromWebInfLib= -lastWarOutDir=/home/francesco-mangiacrapa/workspace/workspace/target/workspace-6.0.0-SNAPSHOT +lastWarOutDir=/home/francesco-mangiacrapa/workspace/workspace/target/workspace-6.0.2-SNAPSHOT warSrcDir=src/main/webapp warSrcDirIsOutput=false diff --git a/pom.xml b/pom.xml index e594799..309b0cd 100644 --- a/pom.xml +++ b/pom.xml @@ -11,7 +11,7 @@ org.gcube.portlets.user workspace war - 6.0.0-SNAPSHOT + 6.0.2-SNAPSHOT gCube Workspace Portlet gcube Workspace Portlet is a portlet for users workspace management