diff options
author | 2018-08-01 19:14:34 +0000 | |
---|---|---|
committer | 2018-08-01 19:14:34 +0000 | |
commit | 93b9e36e10a813cd92ffd397ffb0c1fcf60ca158 (patch) | |
tree | b1f7b47f815e20102a92a999dd7acce6e9d1a283 /Eigen/src | |
parent | 17221115c9f7e382c84c5d053f885470e904f4a4 (diff) | |
parent | 385f7b8d0ca926d00c71987ab308202511e5c753 (diff) |
Merged in paultucker/eigen (pull request PR-431)
Optional ThreadPoolDevice allocator
Approved-by: Benoit Steiner <benoit.steiner.goog@gmail.com>
Diffstat (limited to 'Eigen/src')
0 files changed, 0 insertions, 0 deletions