Mike Frysinger 301161a7a4 use HEAD in git URIs to point to the default branch ... This makes the URIs shorter and dynamic: whatever the default branch the repo uses will be used.		2021-12-20 20:07:00 -05:00
..
is_older_than	combine test directories	2019-02-22 18:08:19 -06:00
sh_yesno	use HEAD in git URIs to point to the default branch	2021-12-20 20:07:00 -05:00