diff options
| author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-07-06 16:22:15 +0200 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-07-06 16:22:15 +0200 |
| commit | 90c3c96b5c9b1e4db6bb6d1894a21aec54a965b1 (patch) | |
| tree | 053908866dc77dffb992e96ed7aa3d1b467b2a5f /src/lib/.gitignore | |
| 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/lib/.gitignore')
0 files changed, 0 insertions, 0 deletions