; 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/philsquared/Catch
	branch = master
	commit = 63c097a07775f939b5b77c88dd61fe933f4d7050
	parent = f27cd81fd0d3ecd9dc02be18c70e767a4a3fee6e
	cmdver = 0.3.1