diff options
Diffstat (limited to 'lib/thirdparty/libcholmod.so')
| l--------- | lib/thirdparty/libcholmod.so | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/thirdparty/libcholmod.so b/lib/thirdparty/libcholmod.so new file mode 120000 index 000000000..79db90c30 --- /dev/null +++ b/lib/thirdparty/libcholmod.so @@ -0,0 +1 @@ +libcholmod.so.2.1.2
\ No newline at end of file |