From d5e9576b847394f828d3a8194b5cdaa99676c756 Mon Sep 17 00:00:00 2001 From: Torbjorn Granlund Date: Mon, 2 Dec 2013 20:31:04 +0100 Subject: Use https to link to GNU license. --- INSTALL | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index 8769918e9..468a53e17 100644 --- a/INSTALL +++ b/INSTALL @@ -13,7 +13,7 @@ or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details. You should have received a copy of the GNU Lesser General Public License -along with the GNU MP Library. If not, see http://www.gnu.org/licenses/. +along with the GNU MP Library. If not, see https://www.gnu.org/licenses/. -- cgit v1.2.1