diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2017-09-13 00:48:18 -0700 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2017-09-13 00:48:57 -0700 |
commit | ca35d468121a7ec60162155f9c3395068ca323d1 (patch) | |
tree | 21dda8c53d99e346571693406a75bdb24e67b7d1 /top/GNUmakefile | |
parent | 9dd86e23c6c1ab02723efdeb6704920724d6abfc (diff) | |
download | gnulib-ca35d468121a7ec60162155f9c3395068ca323d1.tar.gz |
all: prefer https: URLs
Diffstat (limited to 'top/GNUmakefile')
-rw-r--r-- | top/GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/top/GNUmakefile b/top/GNUmakefile index a2f81118e5..6a08549822 100644 --- a/top/GNUmakefile +++ b/top/GNUmakefile @@ -18,7 +18,7 @@ # GNU General Public License for more details. # You should have received a copy of the GNU General Public License -# along with this program. If not, see <http://www.gnu.org/licenses/>. +# along with this program. If not, see <https://www.gnu.org/licenses/>. # If the user runs GNU make but has not yet run ./configure, # give them a diagnostic. |