.settings/org.eclipse.cdt.core.prefs
author laurent
Wed, 06 Jul 2011 12:01:46 +0200
changeset 333 b495a49f5038
parent 0 fb772792efd1
permissions -rwxr-xr-x
Fix bug when trying to find the type of a NULL symbol
#Wed Jan 31 15:26:34 CET 2007
eclipse.preferences.version=1
indexerId=org.eclipse.cdt.core.fastIndexer