; 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 = none
	branch = master
	commit = 5ebd58154006e63d390c5feadafb9a19769c7455
	parent = 3001324d5e9400e39dfe1a0ef087b43857422086
	cmdver = 0.3.1