/plugin-Spider

New spider with new index format support and no support for old index formats

Primary LanguageJava