.settings/org.eclipse.cdt.core.prefs
author laurent
Tue, 07 Feb 2012 20:20:19 +0100
changeset 402 ffa2afab2806
parent 0 fb772792efd1
permissions -rwxr-xr-x
Merge with Edouard's modifications
#Wed Jan 31 15:26:34 CET 2007
eclipse.preferences.version=1
indexerId=org.eclipse.cdt.core.fastIndexer