tree a26a5e9e9a02e06216d1f437e42ea86ad8920363
parent 9bd28f945c383b9c014ac851d932ef3cb10c009f
author Thomas Klausner <tk@giga.or.at> 1583699225 +0100
committer Thomas Klausner <tk@giga.or.at> 1583699225 +0100

Use random functions source files on Windows.

Use srand/rand instead of srandom/random (from Michał Janiszewski)

Closes #156.