; 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:taocpp/PEGTL.git
	branch = main
	commit = bf4487c9793121e483291c4e516cec3e5c1c17b5
	parent = e00b72ebcd9d2add12cfe0e6fe4d114a7858dfa5
	method = merge
	cmdver = 0.4.3
