diff options
| author |  Benoit Steiner <benoit.steiner.goog@gmail.com> | 2018-08-01 19:14:34 +0000 |
|---|---|---|
| committer | Benoit Steiner <benoit.steiner.goog@gmail.com> | 2018-08-01 19:14:34 +0000 |
| commit | 93b9e36e10a813cd92ffd397ffb0c1fcf60ca158 (patch) | |
| tree | b1f7b47f815e20102a92a999dd7acce6e9d1a283 /Eigen/src/Core/IO.h | |
| 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/Core/IO.h')
0 files changed, 0 insertions, 0 deletions