; 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 = https://github.com/catchorg/Catch2
	branch = master
	commit = 11c89a5f7de008c2a21c9cd2a6b96d94f9a55cef
	parent = 0c4e81f37a8489a0b26508d55e6d6d1fa7f78c07
	cmdver = 0.3.1