Lucas Hoffmann 47190314df treewide: replace defunct git://github.com urls with https:// ... Github has removed support for git://github.com and recommends https://github.com instead. See https://github.blog/2021-09-01-improving-git-protocol-security-github/		2022-03-25 11:21:42 +01:00
..
boost-compile-error.patch
default.nix