diff options
| author | Julian Andres Klode <jak@debian.org> | 2017-06-28 00:12:11 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2017-06-28 15:52:38 +0200 |
| commit | 0fe2161020d6e331639ed11872a947dd20035890 (patch) | |
| tree | 876f3836313ee70230b21c781d700c77a482d8ac /doc/sources.list.5.xml | |
| parent | 2851ec6cf037d552118b885be0dd7796d74730c6 (diff) | |
Allow building without curl
This makes testing easier and prepares us for the
transition.
Diffstat (limited to 'doc/sources.list.5.xml')
0 files changed, 0 insertions, 0 deletions