]> gitweb.factorcode.org Git - factor.git/history - extra/random/rdrand/rdrand.factor
Switch to https urls
[factor.git] / extra / random / rdrand / rdrand.factor
2023-01-20 John BenediktssonSwitch to https urls
2013-04-25 John Benediktssonrandom.rdrand: adding RDRAND random generator.