diff options
author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-12-10 14:24:58 +0100 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-12-10 14:24:58 +0100 |
commit | ed6ac5db8474edabe83f0cdcbe7f258f0859ea41 (patch) | |
tree | f19864ccc41cece2bdc191e49735e9f3dc1bdd72 /CMakeLists.txt | |
parent | 7c2191370c1c4b891df4d1016baeb220ce1d8dca (diff) | |
parent | 7a8f55bdb4498c927b6f192b83868138b32cce72 (diff) | |
download | ouroboros-ed6ac5db8474edabe83f0cdcbe7f258f0859ea41.tar.gz ouroboros-ed6ac5db8474edabe83f0cdcbe7f258f0859ea41.zip |
Merged in dstaesse/ouroboros/be-cbr (pull request #322)
tools: Shut down cbr gracefully
Diffstat (limited to 'CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions