repos - Revision 19302: /public/maximaservice/.settings
..
org.eclipse.jdt.core.prefs
Powered by
Apache Subversion
version 1.13.0 (r1867053).