git.sur5r.net Git - freertos/blob

   1 #Wed Nov 19 20:44:29 GMT 2008\r
   2 spelling_locale_initialized=true\r
   3 useAnnotationsPrefPage=true\r
   4 spelling_locale=en_GB\r
   5 eclipse.preferences.version=1\r
   6 useQuickDiffPrefPage=true\r