An error occurred while loading the file. Please try again.
-
subrepo: subdir: "devtools" merged: "0c931beb" upstream: origin: "git@gitlab-ssh.irstea.fr:pole-is/devtools-config.git" branch: "master" commit: "0c931beb" git-subrepo: version: "0.3.1" origin: "https://github.com/ingydotnet/git-subrepo" commit: "a7ee886"
5c65b39d
; 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@gitlab-ssh.irstea.fr:pole-is/devtools-config.git
branch = master
commit = 0c931beb09149c83b9defadd3f96284e7c91ba44
parent = 06988e9db1b139f8a6baf91aa1007c717451455a
cmdver = 0.3.1