[Mldonkey-commits] Changes to mldonkey/src/networks/gnutella/gnutellaOptions.ml

[mldonkey-commits]

Index: mldonkey/src/networks/gnutella/gnutellaOptions.ml
diff -u mldonkey/src/networks/gnutella/gnutellaOptions.ml:1.17 
mldonkey/src/networks/gnutella/gnutellaOptions.ml:1.18
--- mldonkey/src/networks/gnutella/gnutellaOptions.ml:1.17      Fri Sep  2 
23:48:54 2005
+++ mldonkey/src/networks/gnutella/gnutellaOptions.ml   Sat Nov  5 16:23:41 2005
@@ -157,6 +157,10 @@
     ["incoming_data_log"]
     "(only for development tests)"
     string_option ""
+
+let options_version = define_option gnutella_section ["options_version"]
+    "(internal option)"
+    int_option 0
   
 let gui_gnutella_options_panel = 
   (*