; 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.inria.fr:Phylophile/bpp.git
	branch = master
	commit = d92698d2e3e9f7dced7cf701806b0db1e01fb593
	parent = 75c236355d490b2b04b115d589bd1aca6a13e919
	cmdver = 0.4.0
	method = merge
