.settings/org.eclipse.cdt.core.prefs
author Laurent Bessard
Thu, 13 Sep 2012 16:35:10 +0200
changeset 633 73b56dc69e61
parent 0 fb772792efd1
permissions -rwxr-xr-x
Fix bug with task interval using fixed_point value for duration items
#Wed Jan 31 15:26:34 CET 2007
eclipse.preferences.version=1
indexerId=org.eclipse.cdt.core.fastIndexer