commit | 4152392a35c1f48ec4d3261850bd2728b7849a15 | [log] [tgz] |
---|---|---|
author | Diggory Hardy <dhardy@users.noreply.github.com> | Mon Sep 09 17:29:58 2019 +0200 |
committer | GitHub <noreply@github.com> | Mon Sep 09 17:29:58 2019 +0200 |
tree | c89b8ddda21f83c87a785d9427c5ff3ba7000487 | |
parent | 9a4a80006ea6ab9597ec5965db4edea85d700fa3 [diff] | |
parent | c39476001720c2c2c0e2aef851efe8d9e4bbea8f [diff] |
Merge pull request #884 from dhardy/master Prepare rand_distr 0.2.2