diff options
| author | Martino Facchin <facchinm@users.noreply.github.com> | 2015-05-28 10:54:26 +0200 |
|---|---|---|
| committer | Martino Facchin <facchinm@users.noreply.github.com> | 2015-05-28 10:54:26 +0200 |
| commit | 550f8b61acd68f6f2a83dcc9455857d9659ad38f (patch) | |
| tree | 9b11e6bcd4fd5390c23f90d8facaaa9630e5c5f9 /platform.txt | |
| parent | b8787565db2abd887ec51a668a801d989112db4d (diff) | |
| parent | 9dc724b9d9bafc3acb08e84bac306dbb9d0c77b3 (diff) | |
Merge pull request #3202 from Chris--A/randomSeed
Modified randomSeed, now uses unsigned long.
Diffstat (limited to 'platform.txt')
0 files changed, 0 insertions, 0 deletions