*** empty log message ***
[thera-pi.git] / TheraPiHilfe / .settings / 
tree30835b77797b0793018d356163836fe65d0320bf
drwxr-xr-x   ..
-rw-r--r-- 86 org.eclipse.core.resources.prefs
-rwxr-xr-x 629 org.eclipse.jdt.core.prefs