eclipse.preferences.version=1 encoding//source/conf.py=utf-8