Mark Wielaard 614252608a Replace git:// URLs with https:// URLs ...

For unauthenticated git clones it is slightly more secure to use the https
link because the site certificate will be checked. Also https might be more
accessible from all places than the git protocol port.

2022-08-29 10:13:47 +02:00

..

build_solaris_package

…

gdb-sol-thread.patch

…

Makefile.am

…

valgrind.p5m

…

vgpreload-solaris.mapfile

…