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 /doc/workflow.txt | |
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 'doc/workflow.txt')
0 files changed, 0 insertions, 0 deletions