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