-
Raidelet Nicolas authored
subrepo: subdir: "devtools" merged: "0c931be" upstream: origin: "git@gitlab-ssh.irstea.fr:pole-is/devtools-config.git" branch: "master" commit: "0c931be" git-subrepo: version: "0.3.1" origin: "https://github.com/ingydotnet/git-subrepo" commit: "a7ee886"
df8ab876