; 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 = 5d26fdc64d86cdbf16d6796c3c51cef3ef05a8dc parent = 357b30b34479b3f45b97b60068d7d0fcaa4d98eb method = merge cmdver = 0.4.0