| commit | 717f785f8c0c5da732ecdf21ca2bc162cbf8ba25 | [log] [tgz] |
|---|---|---|
| author | Diggory Hardy <dhardy@users.noreply.github.com> | Fri Mar 23 14:58:09 2018 +0000 |
| committer | GitHub <noreply@github.com> | Fri Mar 23 14:58:09 2018 +0000 |
| tree | 03bd81cb143599873aaedd4dcfe0dbd3988a0036 | |
| parent | 57163f676ecd279ccf38b3d38be663573017b064 [diff] | |
| parent | d37d8d1c0edfb95a88eb86e486f0fb1196196249 [diff] |
Merge pull request #327 from pitdicker/rand_core_rename Rename rand-core to rand_core