diff options
author | dimitri staessens <[email protected]> | 2016-05-12 09:23:19 +0200 |
---|---|---|
committer | dimitri staessens <[email protected]> | 2016-05-12 10:22:00 +0200 |
commit | 8adacfc236c16e02ed5f0b7c17d565b8f50bd4b7 (patch) | |
tree | 8faa14e8ab13f9437887e06b226c86705a60dbe8 /src/CMakeLists.txt | |
parent | 3e2a8dea41438b682daac64371aecc6765fba3a6 (diff) | |
download | ouroboros-8adacfc236c16e02ed5f0b7c17d565b8f50bd4b7.tar.gz ouroboros-8adacfc236c16e02ed5f0b7c17d565b8f50bd4b7.zip |
irmd: cleanup
improved cleanup when killing the IRMd.
Diffstat (limited to 'src/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions