svn - Revision 7131: /core/branches/traceengine/org.eclipse.viatra2.core2/.settings
..
org.eclipse.jdt.core.prefs
org.eclipse.jdt.ui.prefs
Powered by
Subversion
version 1.6.17 (r1128011).