K 25
svn:wc:ra_dav:version-url
V 68
/svnroot/jedit/!svn/ver/13438/jEdit/trunk/org/gjt/sp/jedit/pluginmgr
END
PluginDetailPanel.java
K 25
svn:wc:ra_dav:version-url
V 91
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/pluginmgr/PluginDetailPanel.java
END
MirrorListHandler.java
K 25
svn:wc:ra_dav:version-url
V 91
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/pluginmgr/MirrorListHandler.java
END
InstallPanel.java
K 25
svn:wc:ra_dav:version-url
V 86
/svnroot/jedit/!svn/ver/13438/jEdit/trunk/org/gjt/sp/jedit/pluginmgr/InstallPanel.java
END
MirrorList.java
K 25
svn:wc:ra_dav:version-url
V 84
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/pluginmgr/MirrorList.java
END
ManagePanel.java
K 25
svn:wc:ra_dav:version-url
V 85
/svnroot/jedit/!svn/ver/12914/jEdit/trunk/org/gjt/sp/jedit/pluginmgr/ManagePanel.java
END
PluginListHandler.java
K 25
svn:wc:ra_dav:version-url
V 91
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/pluginmgr/PluginListHandler.java
END
PluginManager.java
K 25
svn:wc:ra_dav:version-url
V 87
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/pluginmgr/PluginManager.java
END
PluginList.java
K 25
svn:wc:ra_dav:version-url
V 84
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/pluginmgr/PluginList.java
END
plugins.dtd
K 25
svn:wc:ra_dav:version-url
V 79
/svnroot/jedit/!svn/ver/3819/jEdit/trunk/org/gjt/sp/jedit/pluginmgr/plugins.dtd
END
PluginManagerProgress.java
K 25
svn:wc:ra_dav:version-url
V 95
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/pluginmgr/PluginManagerProgress.java
END
Roster.java
K 25
svn:wc:ra_dav:version-url
V 80
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/pluginmgr/Roster.java
END
package.html
K 25
svn:wc:ra_dav:version-url
V 80
/svnroot/jedit/!svn/ver/3958/jEdit/trunk/org/gjt/sp/jedit/pluginmgr/package.html
END
