[Mldonkey-commits] Changes to mldonkey/src/networks/fileTP/fileTPOptions.ml

[mldonkey-commits]

Index: mldonkey/src/networks/fileTP/fileTPOptions.ml
diff -u mldonkey/src/networks/fileTP/fileTPOptions.ml:1.8 
mldonkey/src/networks/fileTP/fileTPOptions.ml:1.9
--- mldonkey/src/networks/fileTP/fileTPOptions.ml:1.8   Tue Jul 26 23:16:48 2005
+++ mldonkey/src/networks/fileTP/fileTPOptions.ml       Sat Nov  5 16:23:41 2005
@@ -56,6 +56,10 @@
   "The argument to !!get_range to get a range"
     string_option "range"
 
+let options_version = define_option fileTP_section ["options_version"]
+    "(internal option)"
+    int_option 0
+
   (*
 let verbose_clients =
   define_option fileTP_section ["verbose_clients"]