gnubg - Bugs: bug #65691, Settings/Options/Dice/Random...
bug #65691: Settings/Options/Dice/Random number generator/Mersenne Twister not saved
No changes have been made to this item
Powered by Savane 3.13-4b48.
Corresponding source code
Powered by Savane 3.13-4b48.
Corresponding source code