| > 1) How does one delete an unwanted file or page, so
> that it will not be redownloaded? I know about
> checking the option field.
Delete the file with the GUI and check options -> Log -> Do not re-download
locally erased files.
or
Add an appropriate filter and uncheck options -> Build -> Do not purge old
files and update the mirror | |