K 25
svn:wc:ra_dav:version-url
V 117
/repos/protege/!svn/ver/16761/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/ui/preferences
END
GeneralPreferencesPanel.java
K 25
svn:wc:ra_dav:version-url
V 146
/repos/protege/!svn/ver/16090/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/ui/preferences/GeneralPreferencesPanel.java
END
NewEntitiesPreferencesPanel.java
K 25
svn:wc:ra_dav:version-url
V 150
/repos/protege/!svn/ver/16210/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/ui/preferences/NewEntitiesPreferencesPanel.java
END
SavePreferencesPanel.java
K 25
svn:wc:ra_dav:version-url
V 143
/repos/protege/!svn/ver/16090/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/ui/preferences/SavePreferencesPanel.java
END
OWLPreferencesPanel.java
K 25
svn:wc:ra_dav:version-url
V 142
/repos/protege/!svn/ver/16090/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/ui/preferences/OWLPreferencesPanel.java
END
AnnotationPreferences.java
K 25
svn:wc:ra_dav:version-url
V 144
/repos/protege/!svn/ver/16090/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/ui/preferences/AnnotationPreferences.java
END
AnnotationPreferencesPanel.java
K 25
svn:wc:ra_dav:version-url
V 149
/repos/protege/!svn/ver/16761/protege4/plugins/org.protege.editor.owl/trunk/src/org/protege/editor/owl/ui/preferences/AnnotationPreferencesPanel.java
END
