diff options
Diffstat (limited to 'modules/double/.libs')
| -rw-r--r--[-rwxr-xr-x] | modules/double/.libs/libdummy-double.a | bin | 20742 -> 20742 bytes |
| -rw-r--r--[-rwxr-xr-x] | modules/double/.libs/libscidouble.a | bin | 474994 -> 474986 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/modules/double/.libs/libdummy-double.a b/modules/double/.libs/libdummy-double.a Binary files differindex 652a9876e..652a9876e 100755..100644 --- a/modules/double/.libs/libdummy-double.a +++ b/modules/double/.libs/libdummy-double.a diff --git a/modules/double/.libs/libscidouble.a b/modules/double/.libs/libscidouble.a Binary files differindex d1a2fa2b7..085e04293 100755..100644 --- a/modules/double/.libs/libscidouble.a +++ b/modules/double/.libs/libscidouble.a |