diff options
| author | Dimitri Staessens <dimitri.staessens@ugent.be> | 2018-06-15 12:44:27 +0200 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2018-06-15 12:52:09 +0200 |
| commit | 7e8d34cd8739e1e3dfb55b782e820f81e3a75d8a (patch) | |
| tree | b720072711d4e4853b15b76063b8eca8d1af18c6 /include | |
| parent | 4356a8dce299eb84cbafa2edd0bbd252a6a4c335 (diff) | |
| download | ouroboros-7e8d34cd8739e1e3dfb55b782e820f81e3a75d8a.tar.gz ouroboros-7e8d34cd8739e1e3dfb55b782e820f81e3a75d8a.zip | |
lib: Mark flows down on fini
This will mark flows down when they are finalized.
Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Signed-off-by: Sander Vrijders <sander.vrijders@ugent.be>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions