diff options
author | Dimitri Staessens <dimitri.staessens@ugent.be> | 2018-10-11 20:27:32 +0200 |
---|---|---|
committer | Dimitri Staessens <dimitri.staessens@ugent.be> | 2018-10-11 20:27:32 +0200 |
commit | 1ee129f4479b1910afc929f24bb70b8bc6478f01 (patch) | |
tree | f899381d05ed5f322829bc478c9e3517cf1f9184 /README | |
parent | 6856f3e24fa00b99747bab790b478866212b2e2d (diff) | |
parent | 558fc46c63d28ce2ffd0abc5c737f49cc185ba82 (diff) | |
download | ouroboros-1ee129f4479b1910afc929f24bb70b8bc6478f01.tar.gz ouroboros-1ee129f4479b1910afc929f24bb70b8bc6478f01.zip |
Merge branch 'testing' into be
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions