; 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/AngheloAlf/graphovl.git
	branch = master
	commit = f5fe93d75bb75ea4bea65f62c43f41f6a1e70679
	parent = 6c5a50ef95f351acc7c4c0455a347a94443adbe1
	method = merge
	cmdver = 0.4.3
