Sign in
eclipse
/
gerrit
/
www.eclipse.org
/
edapt
/
2074518f51f96fc40a6b99b96ceab8d95c5aa583
/
.
/
.settings
/
org.eclipse.core.resources.prefs
blob: 374d88e58b6f271c3384ed177bb92cdc301a2d83 [
file
] [
log
] [
blame
]
#Sun May 06 00:56:24 CEST 2012
eclipse
.
preferences
.
version
=
1
encoding
//pages/libraryexample.html=UTF-8
encoding
//pages/publications.html=UTF-8
encoding
/
libraryexample
.
php
=
UTF
-
8
