diff options
author | Dimitri Staessens <[email protected]> | 2018-06-15 12:44:27 +0200 |
---|---|---|
committer | Sander Vrijders <[email protected]> | 2018-06-15 12:52:09 +0200 |
commit | 7e8d34cd8739e1e3dfb55b782e820f81e3a75d8a (patch) | |
tree | b720072711d4e4853b15b76063b8eca8d1af18c6 /src/lib/.gitignore | |
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 <[email protected]>
Signed-off-by: Sander Vrijders <[email protected]>
Diffstat (limited to 'src/lib/.gitignore')
0 files changed, 0 insertions, 0 deletions