diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-07-09 10:53:31 +0000 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-07-09 10:53:31 +0000 |
| commit | bebcbf797d1b8703dc5eb67123ccc8a39ee631ed (patch) | |
| tree | e85e944f99046e583e888bb9f6dded71ef2e07b3 /CONTRIBUTORS | |
| parent | 2a395ba451601edb746cfdec1e3d8f260795c765 (diff) | |
| parent | 93d5edc86b27e0ffa3b6badd4c18cd7f0e23cec9 (diff) | |
| download | ouroboros-bebcbf797d1b8703dc5eb67123ccc8a39ee631ed.tar.gz ouroboros-bebcbf797d1b8703dc5eb67123ccc8a39ee631ed.zip | |
Merged in dstaesse/ouroboros/be-rng (pull request #523)
Be rng
Diffstat (limited to 'CONTRIBUTORS')
0 files changed, 0 insertions, 0 deletions