K 25
svn:wc:ra_dav:version-url
V 122
/repos/protege/!svn/ver/17285/protege4/plugins/org.protege.editor.core.application/trunk/src/org/protege/editor/core/prefs
END
JavaBackedPreferencesImpl.java
K 25
svn:wc:ra_dav:version-url
V 153
/repos/protege/!svn/ver/17276/protege4/plugins/org.protege.editor.core.application/trunk/src/org/protege/editor/core/prefs/JavaBackedPreferencesImpl.java
END
JavaBackedPreferencesManagerImpl.java
K 25
svn:wc:ra_dav:version-url
V 160
/repos/protege/!svn/ver/17285/protege4/plugins/org.protege.editor.core.application/trunk/src/org/protege/editor/core/prefs/JavaBackedPreferencesManagerImpl.java
END
Preferences.java
K 25
svn:wc:ra_dav:version-url
V 139
/repos/protege/!svn/ver/16086/protege4/plugins/org.protege.editor.core.application/trunk/src/org/protege/editor/core/prefs/Preferences.java
END
PreferencesManager.java
K 25
svn:wc:ra_dav:version-url
V 146
/repos/protege/!svn/ver/17285/protege4/plugins/org.protege.editor.core.application/trunk/src/org/protege/editor/core/prefs/PreferencesManager.java
END
