- Oct 27, 2015
-
-
jdh8d authored
update for RNG seeding to use pid() instead of time() due to parallel copies getting the same seed accidentally
-
- Oct 23, 2015
-
-
jdh8d authored
No commit message
-
- Oct 22, 2015
- Oct 20, 2015
-
-
jdh8d authored
-
- Jul 17, 2015
-
-
an7s authored
-
- May 01, 2015
-
-
jdh8d authored
-
- Feb 07, 2015
-
-
jdh8d authored
-
- Feb 06, 2015
-
-
jdh8d authored
No commit message
-
- Feb 05, 2015
-
-
jdh8d authored
No commit message
-