summaryrefslogtreecommitdiff
path: root/user/eigen
AgeCommit message (Expand)AuthorFilesLines
2018-12-29user/eigen: remove unneeded old patchA. Wilcox1-22/+0
2018-12-18user/eigen: upgrade to 3.3.7Kiyoshi Aman1-7/+4
2018-10-15user/eigen: fix build of user/step with -Werror=no-returnA. Wilcox2-3/+28
2018-09-09user/eigen: bump to 3.3.5A. Wilcox1-3/+3
2018-07-16user/eigen: pull in, fix a little, ughA. Wilcox1-0/+27