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

[mldonkey-commits]

Index: mldonkey/src/networks/donkey/donkeyOptions.ml
diff -u mldonkey/src/networks/donkey/donkeyOptions.ml:1.28 
mldonkey/src/networks/donkey/donkeyOptions.ml:1.29
--- mldonkey/src/networks/donkey/donkeyOptions.ml:1.28  Tue Jul 26 20:31:40 2005
+++ mldonkey/src/networks/donkey/donkeyOptions.ml       Fri Sep  2 23:48:54 2005
@@ -331,3 +331,7 @@
     "Prevent Re-download of Downloaded Files", shortname 
keep_downloaded_in_old_files, "B";
     "Dynamic Slot Allocation", shortname dynamic_slots, "B";
   ]
+
+let old_files =
+  define_option donkey_section ["old_files"]
+    "The files that were downloaded" (list_option Md4.option) []