diff options
| author | Dimitri Staessens <dimitri.staessens@ugent.be> | 2017-12-22 12:42:35 +0100 |
|---|---|---|
| committer | Dimitri Staessens <dimitri.staessens@ugent.be> | 2017-12-22 12:42:35 +0100 |
| commit | 66f141f3b8dece28d7fe90b5c719b3781d38da9f (patch) | |
| tree | 2faf287c037d4c8bfcc0c9cb69a2cab98ac02d84 /tools | |
| parent | b1c47901dd492a24926f2b9843c3ec15fc62393a (diff) | |
| download | rumba-66f141f3b8dece28d7fe90b5c719b3781d38da9f.tar.gz rumba-66f141f3b8dece28d7fe90b5c719b3781d38da9f.zip | |
prototypes: Adapt to ouroboros CLI update
The ouroboros CLI was recently updated to use more user-friendly
terminology.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions