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