Disable srand48/rand48 by default
[snark14.git] / build-debian.sh
2018-02-12 Kevin M. RosenbergRename build command