diff options
author | Sander Vrijders <[email protected]> | 2016-07-06 16:22:15 +0200 |
---|---|---|
committer | Sander Vrijders <[email protected]> | 2016-07-06 16:22:15 +0200 |
commit | 90c3c96b5c9b1e4db6bb6d1894a21aec54a965b1 (patch) | |
tree | 053908866dc77dffb992e96ed7aa3d1b467b2a5f /src/tools/irm/CMakeLists.txt | |
parent | 972c1413933c5e2ef884a7ebbad066404192eec2 (diff) | |
parent | b3aa97084d0a9223b85ed81272d7d21c537a7d13 (diff) | |
download | ouroboros-90c3c96b5c9b1e4db6bb6d1894a21aec54a965b1.tar.gz ouroboros-90c3c96b5c9b1e4db6bb6d1894a21aec54a965b1.zip |
Merged in dstaesse/ouroboros/be-fix-kill (pull request #159)
irmd: Collect spawned processes
Diffstat (limited to 'src/tools/irm/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions