+++ /dev/null
-
- (* All the swarmers used *)
- swarmers = []
-
- (* The files whose download is finished *)
- done_files = []
-
- (* The files currently being downloaded, primary downloads must come first *)
- files = []
-
-(*
- The following options are not used (errors, obsolete, ...)
-*)