view .settings/com.google.gdt.eclipse.core.prefs @ 41:90b7bbc9962f default

Merged the bugfixes
author Sebastian Kruse <skruse@mpiwg-berlin.mpg.de>
date Thu, 06 Dec 2012 18:09:00 +0100
parents 8c5676394093
children
line wrap: on
line source

eclipse.preferences.version=1
launchConfigExternalUrlPrefix=
warSrcDir=war
warSrcDirIsOutput=true