Ticket #44 (closed feature: fixed)
Opened 1 year ago
Last modified 4 months ago
Change rand_int() to randint0(); randint() to randint1()
| Reported by: | takkaria | Assigned to: | |
|---|---|---|---|
| Milestone: | 3.1.0 | Version: | |
| Keywords: | cleanup | Cc: | |
Opened 1 year ago
Last modified 4 months ago
| Reported by: | takkaria | Assigned to: | |
|---|---|---|---|
| Milestone: | 3.1.0 | Version: | |
| Keywords: | cleanup | Cc: | |