.gitrepo 416 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
; 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 = 9ef29341326f987b7df2ccd9fd2c6a8d544ee582
	cmdver = 0.3.1