added possibility to choose random number generator explicitly from outside#11
Merged
Emerentius merged 4 commits intoEmerentius:masterfrom LordBlackhawk:feature/explicit-rngDec 2, 2023
+47-15
Commits
Commits on Dec 1, 2023
- committed
Lord Blackhawk
Commits on Dec 2, 2023
- committed
- committed
- committed
