diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2017-03-21 20:52:32 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2017-03-21 20:58:51 +0200 |
| commit | b1d3e0a93bf12a29fc43144156a181f409e6b362 (patch) | |
| tree | ec75ca97a473884f26600dab3b9407612c92cfd5 /.dir-locals.el | |
| parent | 4b0e63670119971864289d67fc1e11a438f58ea6 (diff) | |
| download | guix-b1d3e0a93bf12a29fc43144156a181f409e6b362.tar.gz guix-b1d3e0a93bf12a29fc43144156a181f409e6b362.zip | |
gnu: ots: Add download mirror.
* gnu/packages/ots.scm (ots)[source]: Add Debian mirror.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions