git.sur5r.net Git - freertos/blob

   1 #Wed Nov 19 22:21:06 GMT 2008\r
   2 eclipse.preferences.version=1\r
   3 TASKS_FILTERS_MIGRATE=true\r
   4 tipsAndTricks=true\r
   5 platformState=1227126792070\r
   6 PROBLEMS_FILTERS_MIGRATE=true\r