eclipse.preferences.version=1
encoding//site/content/acknowledgements.html=UTF-8
encoding//site/content/details.html=UTF-8
encoding//site/content/download.html=UTF-8
encoding//site/content/embedding.html=UTF-8
encoding//site/content/index.html=UTF-8
encoding//site/content/license.html=UTF-8
encoding//site/content/notes.html=UTF-8
encoding//site/content/source.html=UTF-8
encoding//site/content/support.html=UTF-8
encoding//site/content/tutorial.html=UTF-8
encoding/<project>=UTF-8
