diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2011-06-07 08:48:09 +0200 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2011-06-07 08:48:09 +0200 |
| commit | 95f395cc774d522eda1b80b310bd75767aa11bd4 (patch) | |
| tree | d82eba4b865d75577ec85b5c9c8882f1c6a9cba7 /doc/makefile | |
| parent | a0c3110e038a5186d9b108ccea06fb00619436f0 (diff) | |
* methods/mirror.cc:
- ignore lines starting with "#" in the mirror file
- ignore non http urls in the mirrors
Diffstat (limited to 'doc/makefile')
0 files changed, 0 insertions, 0 deletions