diff options
author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-07-06 19:21:11 +0200 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-07-06 19:21:11 +0200 |
commit | ff09baf0cf9ec501ec54d2666e386238bc7e6389 (patch) | |
tree | 0966469900595c3f51acac2d9bb89429a826f1b0 /doc/workflow.txt | |
parent | 4fb0d2bfb7486936ef05721667f03eccf664d56e (diff) | |
parent | dbed235ff41b9ae72b188e57888bacc984a43d75 (diff) | |
download | ouroboros-ff09baf0cf9ec501ec54d2666e386238bc7e6389.tar.gz ouroboros-ff09baf0cf9ec501ec54d2666e386238bc7e6389.zip |
Merged in dstaesse/ouroboros/be-clean-exit (pull request #160)
lib: shm_du_map: Clean sdus upon exit
Diffstat (limited to 'doc/workflow.txt')
0 files changed, 0 insertions, 0 deletions