diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-09-20 10:02:18 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@ugent.be> | 2017-09-20 12:50:36 +0200 |
| commit | 36962003f216b8176f1799bf22af4d258ee8e542 (patch) | |
| tree | 6ba0b24df64e6d0837c4d08d2a2b2b601ba01e2e /compile_debug.sh | |
| parent | c665c71719225ef6d076c6be24c588049527f31f (diff) | |
| download | ouroboros-36962003f216b8176f1799bf22af4d258ee8e542.tar.gz ouroboros-36962003f216b8176f1799bf22af4d258ee8e542.zip | |
ipcpd: Fix shutdown of rib
Fixes #50
Diffstat (limited to 'compile_debug.sh')
0 files changed, 0 insertions, 0 deletions