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