file:
.settings/org.eclipse.core.resources.prefs
eclipse.preferences.version=1encoding//Widget/audio.py=utf-8encoding//Widget/popup.py=utf-8encoding/runtests.py=utf-8eclipse.preferences.version=1encoding//Widget/audio.py=utf-8encoding//Widget/popup.py=utf-8encoding/runtests.py=utf-8