.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 = 88fcc898970f93a63be8e25760d6b9f33589690f
	parent = 88cd46aaec511360705df0fc7e577098877862d0
	method = merge
	cmdver = 0.4.6