diff .settings/com.google.gwt.eclipse.core.prefs @ 84:00f7860d9ee5 trimmed_data

Klimscha overlays
author Sebastian Kruse <skruse@mpiwg-berlin.mpg.de>
date Fri, 01 Feb 2013 17:21:47 +0100
parents 8c5676394093
children
line wrap: on
line diff