diff options
| author | Sander Vrijders <[email protected]> | 2016-12-10 14:24:58 +0100 |
|---|---|---|
| committer | Sander Vrijders <[email protected]> | 2016-12-10 14:24:58 +0100 |
| commit | ed6ac5db8474edabe83f0cdcbe7f258f0859ea41 (patch) | |
| tree | f19864ccc41cece2bdc191e49735e9f3dc1bdd72 /src/tools/irm/irm_ops.h | |
| 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 'src/tools/irm/irm_ops.h')
0 files changed, 0 insertions, 0 deletions