| commit | 1caaec363ab9f3cb8fd76fa7fef6ff6633942ab9 | [log] [tgz] |
|---|---|---|
| author | Clifford Wolf <clifford@clifford.at> | Tue Apr 16 10:20:52 2019 +0200 |
| committer | GitHub <noreply@github.com> | Tue Apr 16 10:20:52 2019 +0200 |
| tree | 19926de3f856275299a8046196fd739ab67ff1aa | |
| parent | fa1c932452e8efe1dfcc6ff095e3f7130a7906b1 [diff] | |
| parent | 1c1e0c06bd6804cae4888ebb32172e33730fb633 [diff] |
Merge pull request #211 from daveshah1/eigen3 docs: Add new Eigen3 dependency