gnu: Use HTTPS for almost all gnu.org HOME-PAGEs.

All HTTP gnu.org (and supported subdomain) HOME-PAGEs changed to HTTPS.
This commit is contained in:
Tobias Geerinckx-Rice 2017-03-30 00:48:16 +02:00
parent c219997a14
commit 6fd52309b8
No known key found for this signature in database
GPG key ID: 91CCDB9B48541B99
79 changed files with 135 additions and 135 deletions

View file

@ -180,7 +180,7 @@ allows command-line editing, unlimited command history, shell functions and
aliases, and job control while still allowing most sh scripts to be run
without modification.")
(license gpl3+)
(home-page "http://www.gnu.org/software/bash/"))))
(home-page "https://www.gnu.org/software/bash/"))))
(define-public bash-minimal
;; A stripped-down Bash for non-interactive use.