workspace-explorer-app/.settings/com.gwtplugins.gdt.eclipse....

eclipse.preferences.version=1
jarsExcludedFromWebInfLib=
lastWarOutDir=/home/francesco-mangiacrapa/git/workspace-explorer-app/target/workspace-explorer-app-1.3.1
launchConfigExternalUrlPrefix=
warSrcDir=src/main/webapp
warSrcDirIsOutput=false
In progess on SHUB migration 2020-04-14 17:43:25 +02:00			`eclipse.preferences.version=1`
			`jarsExcludedFromWebInfLib=`
Workaround implemented see at https://support.d4science.org/issues/19671#note-17 2020-09-25 11:04:18 +02:00			`lastWarOutDir=/home/francesco-mangiacrapa/git/workspace-explorer-app/target/workspace-explorer-app-1.3.1`
In progess on SHUB migration 2020-04-14 17:43:25 +02:00			`launchConfigExternalUrlPrefix=`
			`warSrcDir=src/main/webapp`
			`warSrcDirIsOutput=false`