Markus Mayer 1cdad4cc28 .gitmodules: switch to HTTPS ...

HTTPS is not only encrypted but also better suited for corporate
firewalls. Let's use it to clone submodules.
Copyright-paperwork-exempt: yes

2023-09-07 14:33:37 -07:00

180 B

Raw Blame History

View Raw