.gitrepo

; DO NOT EDIT (unless you know what you are doing)
;
; This subdirectory is a git "subrepo", and this file is maintained by the
; git-subrepo command. See https://github.com/ingydotnet/git-subrepo#readme
;
[subrepo]
	remote = git@github.com:highfive-devs/HighFive.git
	branch = main
	commit = 0e308c244ef32d847a2f11c38878f419a8df8543
	parent = 22327aeb7598d4ba70991c7e466d73a2a11a291d
	method = merge
	cmdver = 0.4.9