Build without /usr/local/snark14
[snark14.git] / include / DIGRand / DIGRand.h
old mode 100755 (executable)
new mode 100644 (file)