doc: Switch valgrind.com to https
authorGerald Pfeifer <gerald@pfeifer.com>
Mon, 24 Aug 2020 17:07:25 +0000 (19:07 +0200)
committerGerald Pfeifer <gerald@pfeifer.com>
Mon, 24 Aug 2020 17:07:25 +0000 (19:07 +0200)
commit0d166f4a8773a43d925be006e713b7d81626ddb9
tree25a0398ef477009c3c2412941f56c2f07d6732dd
parentef275d1f2083f8a1fa1b59a3cd07fd3e8431023e
doc: Switch valgrind.com to https

gcc/ChangeLog:
* doc/install.texi (Configuration): Switch valgrind.com to https.
gcc/doc/install.texi