.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/git-commands/git-subrepo#readme
;
[subrepo]
	remote = git@github.com:catchorg/Catch2.git
	branch = master
	commit = 4902cd721586822ded795afe0c418c553137306a
	parent = ee2eaf8ae00c09a6eaa3de857f27d607a3e6511c
	cmdver = 0.4.0
	method = merge