move code to githubmaster
[otpdroid.git] / .settings / 
tree9253ff4a4fb3c847ccda62e07066a62e7d4f8acb
drwxr-xr-x   ..
-rw-r--r-- 2620 org.eclipse.jdt.ui.prefs