svn-pub - Revision 9057: /VUBTeamPub/be.ac.vub.teampub.rcp/.settings
..
org.eclipse.jdt.core.prefs
Powered by
Apache Subversion
version 1.14.1 (r1886195).