; 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@git.pcmuhely.hu:compi/f4ll_c.git branch = master commit = 2cf75b2f5786e74194c5204b877c2ea10b70c0e3 parent = d63d225817b681a7ac695bd2f63d3779012909c1 method = merge cmdver = 0.4.0