svn - Revision 7131: /experimental/trunk/dseExtensions/org.eclipse.viatra2.dse.guided/.settings
..
org.eclipse.jdt.core.prefs
Powered by
Subversion
version 1.6.17 (r1128011).