summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2018-03-19 21:44:50 +0200
committerEfraim Flashner <efraim@flashner.co.il>2018-03-19 21:48:43 +0200
commit203631d9adf4d7c2d3dd10aa35cc4c8b5b7c347f (patch)
tree6becf4db4f470e4b864e67c2160cae253dd9feb4 /.gitignore
parent9687d4042a986b5ef140a5b9a8103b07a08eda10 (diff)
patchelf: Use 'https' for source uri.
* gnu/packages/elf.scm (patchelf)[source]: Use 'https' for source uri.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions