diff options
| author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-08-10 13:07:59 +0200 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-08-10 13:07:59 +0200 |
| commit | 26b20744a441705accbe550aa0b996f8601a9404 (patch) | |
| tree | 9b33b5d1888cd4fb338b57b7b1aa90349668eb8b /doc/.gitignore | |
| parent | e5cb8042c9f0c6374c4f14bf7ff3f4fe3cdcd155 (diff) | |
| parent | 9740c4bf2966d57d6f7e0d034a862211cb3814c4 (diff) | |
| download | ouroboros-26b20744a441705accbe550aa0b996f8601a9404.tar.gz ouroboros-26b20744a441705accbe550aa0b996f8601a9404.zip | |
Merged in dstaesse/ouroboros/be-irmd-cleanup (pull request #201)
irmd: Graceful shutdown
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions