*** empty log message ***
[thera-pi.git] / TheraPi / .settings / 
treea04229d612448388bf554131c663963ca476b151
drwxr-xr-x   ..
-rw-r--r-- 86 org.eclipse.core.resources.prefs
-rw-r--r-- 617 org.eclipse.jdt.core.prefs