; 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 = 7570c78a802a8a9300e9747beda701cc8f7e16c1 parent = 9f225a2c9da2182935f989e7db7e82d9dcffeed7 method = merge cmdver = 0.4.0