7
7
## not contain a comprehensive list of commands -- look at the manual
8
8
## to find out what you can put into this file.
11
11
## (global, for all users) or $HOME/.wgetrc (for a single user).
13
13
## To use the settings in this file, you will have to uncomment them,