git.sur5r.net Git - freertos/blob

   1 #Mon Nov 03 14:55:37 GMT 2008\r
   2 eclipse.preferences.version=1\r
   3 TASKS_FILTERS_MIGRATE=true\r
   4 tipsAndTricks=true\r
   5 platformState=1222096011143\r
   6 PROBLEMS_FILTERS_MIGRATE=true\r