; 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 = https://github.com/RLovelett/eigen.git
	branch = 3.2.10
	commit = c50d586b9a43395a83e51821ebd1759d1c4668e4
	parent = 849bc10baa20b04cc360e81c8331da5c815f277f
	cmdver = 0.3.1
