[983c67]: .settings / org.eclipse.core.resources.prefs History

Parent: [65b561] (diff)

Child: [9f85b6] (diff)

Download this file

org.eclipse.core.resources.prefs    3 lines (2 with data), 63 Bytes 

eclipse.preferences.version=1
encoding//src/DIF/FA/FA.cc=UTF-8