add svn:externals to Eigen's repo... the svn doc is not very clear, hope this time is the good one
This commit is contained in:
parent
01625bcbdf
commit
3c65d927ac