.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:BlueBrain/HighFive.git
	branch = master
	commit = b74fabbea7bc4422a6891b2f5a27305b8dd8cd1b
	parent = d64d966d026b0bc07529a0328b8607036ecc24d6
	method = merge
	cmdver = 0.4.6