diff options
| author | Alberto Ruiz <aruiz@um.es> | 2014-06-13 06:35:28 +0200 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2014-06-13 06:35:28 +0200 |
| commit | 1c1fc3f1ba1781e087d84373b29633a0dc43c8fb (patch) | |
| tree | 9139617619e62829a29ee2a199990ba107e9a270 /packages/base/THANKS.md | |
| parent | 77066f8f2c7c41a6e472978c8d70994f07cc46ec (diff) | |
fix missing conj in nullspace
introduced in the recent change, detected by quickcheck
Diffstat (limited to 'packages/base/THANKS.md')
0 files changed, 0 insertions, 0 deletions