Build without /usr/local/snark14

[snark14.git] / src / DIGRand / libDIGRand.so

diff --git a/src/DIGRand/libDIGRand.so b/src/DIGRand/libDIGRand.so
deleted file mode 100755 (executable)
index 6026e55..0000000
Binary files a/src/DIGRand/libDIGRand.so and /dev/null differ