fix the non-randomised deal problem.
It was always deal #1.
Description
Description
Details
Details
- Committed
shlomif Jan 19 2020, 10:17 AM - Parents
- R410:e6b2c641ff2e: Port away from KRandom
- Branches
- Unknown
- Tags
fix the non-randomised deal problem.
fix the non-randomised deal problem.
Authored by shlomif on Jan 2 2020, 2:01 PM.
Tags
None
Subscribers
None