20 |
val load : unit -> unit |
val load : unit -> unit |
21 |
val save : unit -> unit |
val save : unit -> unit |
22 |
val save_sources : unit -> unit |
val save_sources : unit -> unit |
23 |
|
val backup_options : unit -> unit |
24 |
|
|
25 |
val done_files : CommonTypes.file list Options.option_record |
val done_files : CommonTypes.file list Options.option_record |
26 |
val files : CommonTypes.file list Options.option_record |
val files : CommonTypes.file list Options.option_record |
44 |
val sharing_only_directory : CommonTypes.sharing_strategy |
val sharing_only_directory : CommonTypes.sharing_strategy |
45 |
|
|
46 |
val swarmers_section : Options.options_section |
val swarmers_section : Options.options_section |
|
|
|
|
|
|