diff options
| author | Sander Vrijders <sander.vrijders@ugent.be> | 2017-08-01 15:41:33 +0000 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@ugent.be> | 2017-08-01 15:41:33 +0000 |
| commit | b92eac2e9f6d686a9e2f748f8097aedbb373395c (patch) | |
| tree | bf9d89674ebec823265e5a61c7fdd51df64fa88e /src/tools/cbr | |
| parent | 490ebfdb483c6f13aa45e5d80610f55ee95f9fae (diff) | |
| parent | 6437c1a647c17ee3ce1de9d56cc1b78824791ee1 (diff) | |
| download | ouroboros-b92eac2e9f6d686a9e2f748f8097aedbb373395c.tar.gz ouroboros-b92eac2e9f6d686a9e2f748f8097aedbb373395c.zip | |
Merged in sandervrijders/ouroboros/be-open-flow (pull request #538)
lib: Simplify opening flows
Approved-by: dimitri staessens <dimitri.staessens@ugent.be>
Diffstat (limited to 'src/tools/cbr')
0 files changed, 0 insertions, 0 deletions