K 25
svn:wc:ra_dav:version-url
V 63
/svnroot/jedit/!svn/ver/13060/jEdit/trunk/org/gjt/sp/jedit/menu
END
DirectoryProvider.java
K 25
svn:wc:ra_dav:version-url
V 86
/svnroot/jedit/!svn/ver/12912/jEdit/trunk/org/gjt/sp/jedit/menu/DirectoryProvider.java
END
MacrosProvider.java
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/menu/MacrosProvider.java
END
MarkersProvider.java
K 25
svn:wc:ra_dav:version-url
V 84
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/menu/MarkersProvider.java
END
EnhancedCheckBoxMenuItem.java
K 25
svn:wc:ra_dav:version-url
V 93
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/menu/EnhancedCheckBoxMenuItem.java
END
DynamicMenuProvider.java
K 25
svn:wc:ra_dav:version-url
V 88
/svnroot/jedit/!svn/ver/13060/jEdit/trunk/org/gjt/sp/jedit/menu/DynamicMenuProvider.java
END
ReloadWithEncodingProvider.java
K 25
svn:wc:ra_dav:version-url
V 95
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/menu/ReloadWithEncodingProvider.java
END
RecentDirectoriesProvider.java
K 25
svn:wc:ra_dav:version-url
V 94
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/menu/RecentDirectoriesProvider.java
END
EnhancedMenuItem.java
K 25
svn:wc:ra_dav:version-url
V 85
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/menu/EnhancedMenuItem.java
END
EnhancedMenu.java
K 25
svn:wc:ra_dav:version-url
V 81
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/menu/EnhancedMenu.java
END
PluginsProvider.java
K 25
svn:wc:ra_dav:version-url
V 84
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/menu/PluginsProvider.java
END
FavoritesProvider.java
K 25
svn:wc:ra_dav:version-url
V 86
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/menu/FavoritesProvider.java
END
RecentFilesProvider.java
K 25
svn:wc:ra_dav:version-url
V 88
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/menu/RecentFilesProvider.java
END
