Sign in
eclipse
/
ptp
/
org.eclipse.photran
/
refs/heads/ptp_6_0
/
.
/
org.eclipse.photran.core
/
.settings
/
org.eclipse.core.resources.prefs
blob: 2e012550e7726870c47376583ff59c88e4f0d423 [
file
] [
log
] [
blame
]
eclipse
.
preferences
.
version
=
1
encoding
//src/org/eclipse/photran/internal/core/lang/intrinsics/intrinsic-procedures.txt=US-ASCII
