blob: 27d7b066a2cda0a65771c4d4ef938000007e15f4 [file] [log] [blame]
eclipse.preferences.version=1
encoding//html/index.html=utf-8
encoding//html/user/Getting\ Started.html=utf-8
encoding//html/user/User\ Guide.html=utf-8