plugins/org.eclipse.gmf.graphdef.editor/.settings/graphdef.gmfgen.prefs

#Wed Mar 11 13:28:15 CET 2009
eclipse.preferences.version=1
generate_rcp=false
ignore_gmfgen_validation=false
ignore_mapmodel_validation=false
use_map_mode=true
use_runtime_figures=true