view .settings/com.google.gwt.eclipse.core.prefs @ 89:3700846b8590 trimmed_data tip

bug: removed leading / in url
author Sebastian Kruse <skruse@mpiwg-berlin.mpg.de>
date Fri, 15 Mar 2013 12:53:55 +0100
parents 8c5676394093
children
line wrap: on
line source

eclipse.preferences.version=1
filesCopiedToWebInfLib=gwt-servlet.jar
gwtCompileSettings=PGd3dC1jb21waWxlLXNldHRpbmdzPjxsb2ctbGV2ZWw+SU5GTzwvbG9nLWxldmVsPjxvdXRwdXQtc3R5bGU+T0JGVVNDQVRFRDwvb3V0cHV0LXN0eWxlPjxleHRyYS1hcmdzPjwhW0NEQVRBW11dPjwvZXh0cmEtYXJncz48dm0tYXJncz48IVtDREFUQVstWG14NTEybV1dPjwvdm0tYXJncz48ZW50cnktcG9pbnQtbW9kdWxlPmVjb25uZWN0LndwM18zLlN0aTwvZW50cnktcG9pbnQtbW9kdWxlPjwvZ3d0LWNvbXBpbGUtc2V0dGluZ3M+