Author: toad
Date: 2007-09-08 14:40:51 +0000 (Sat, 08 Sep 2007)
New Revision: 15035
Modified:
trunk/plugins/XMLSpider/XMLSpider.java
Log:
Increment build number to 10 to a) deal with changed line numbers and b) force
emu to rebuild it
Modified: trunk/plugins/XMLSpider/XMLSpider.java
===================================================================
--- trunk/plugins/XMLSpider/XMLSpider.java 2007-09-08 12:24:33 UTC (rev
15034)
+++ trunk/plugins/XMLSpider/XMLSpider.java 2007-09-08 14:40:51 UTC (rev
15035)
@@ -139,7 +139,7 @@
*/
public Set allowedMIMETypes;
private static final int MAX_ENTRIES = 200;
- private static int version = 9;
+ private static int version = 10;
private static final String pluginName = "XML spider "+version;
/**
* Gives the allowed fraction of total time spent on generating indices
with
