diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-04-30 23:12:31 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-05-04 16:51:06 +0200 |
| commit | 729102cbf4f38e74476a85c6b4934438bae1b416 (patch) | |
| tree | 9e76e1e803cddf70d510280f170a594544f59459 /gnu/packages/coq.scm | |
| parent | 187f9636f176d62bf869b787ad410e3a528aa1a0 (diff) | |
| download | guix-patches-729102cbf4f38e74476a85c6b4934438bae1b416.tar guix-patches-729102cbf4f38e74476a85c6b4934438bae1b416.tar.gz | |
doc: Use HTTPS URLs.
* doc/guix.texi: Use HTTPS where possible.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions