; 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/git-commands/git-subrepo#readme
;
[subrepo]
	remote = git@github.com:catchorg/Catch2.git
	branch = devel
	commit = fb4153e05e430921574d79d868ebc44dd9528629
	parent = 57867f14916a3779d2de6004b203bd636dcfee88
	method = merge
	cmdver = 0.4.3
