diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-07-12 10:31:13 +0000 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-07-12 10:31:13 +0000 |
| commit | 3e9ee89b3ccf48dcabf7de2ecafcfbf637595cfe (patch) | |
| tree | c2e257101d4f52190a5fc6e2e00e8b6d8d637932 /.gitignore | |
| parent | 9bbc7b4ba57a13e425fcfdfd6bd7ba5248255721 (diff) | |
| parent | eaa2dff945366ed43b28fb1ae8e5c10ce95d9964 (diff) | |
| download | ouroboros-3e9ee89b3ccf48dcabf7de2ecafcfbf637595cfe.tar.gz ouroboros-3e9ee89b3ccf48dcabf7de2ecafcfbf637595cfe.zip | |
Merged in dstaesse/ouroboros/be-irmd-shutdown (pull request #527)
irmd: Shutdown sanitizer without cancellation
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions