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