Public Git Hosting - rofl0r-eclipse-config.git/blob - org.eclipse.cdt.dsf.ui.prefs

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD

[rofl0r-eclipse-config.git] / org.eclipse.cdt.dsf.ui.prefs

blob	e8250a3fc04d131aedf8c26dc5fc3f33784f20b5

#Wed Sep 29 16:59:28 CEST 2010
useAnnotationsPrefPage=true
eclipse.preferences.version=1