[Mldonkey-commits] Changes to mldonkey/src/networks/donkey/donkeyOvernet.ml

[mldonkey-commits]

Index: mldonkey/src/networks/donkey/donkeyOvernet.ml
diff -u mldonkey/src/networks/donkey/donkeyOvernet.ml:1.56 
mldonkey/src/networks/donkey/donkeyOvernet.ml:1.57
--- mldonkey/src/networks/donkey/donkeyOvernet.ml:1.56  Mon Oct 31 18:07:11 2005
+++ mldonkey/src/networks/donkey/donkeyOvernet.ml       Sat Nov  5 16:23:40 2005
@@ -408,11 +408,6 @@
     "Search Max Hits", shortname overnet_max_search_hits, "T";
   ]
 
-let overnet_options_version =
-  define_option overnet_section [Proto.options_section_name; "options_version"]
-    "(internal)"
-    int_option 0
-
 
 (********************************************************************