Sign in
eclipse
/
egf
/
org.eclipse.emf.egf
/
dfd3d26fbb73a0218e084b60594ca7678cd6c7bb
/
.
/
plugins
/
org.eclipse.egf.pattern.ui.java
/
.settings
/
org.eclipse.core.resources.prefs
blob: 073e734fec56d70685707931ddb6e802398adee3 [
file
] [
log
] [
blame
]
#Mon Feb 15 16:54:27 CET 2010
eclipse
.
preferences
.
version
=
1
encoding
/
about
.
html
=
ISO
-
8859
-
1
