*** empty log message ***
[thera-pi.git] / TextB / .settings / 
tree57cf8d6825d587b733e9bf59f933da1b14a7241a
drwxr-xr-x   ..
-rw-r--r-- 85 org.eclipse.core.resources.prefs
-rw-r--r-- 623 org.eclipse.jdt.core.prefs