Sergey Sharybin 91227ff6d0 Update Eigen3 library, would be needed for some further integraiton.		2012-05-09 08:33:05 +00:00
..
Eigen	Update Eigen3 library, would be needed for some further integraiton.	2012-05-09 08:33:05 +00:00
eigen-update.sh	remove $Id: tags after discussion on the mailign list: http://markmail.org/message/fp7ozcywxum3ar7n	2011-10-23 17:52:20 +00:00