diff options
| author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-08-09 16:56:04 +0200 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-08-09 16:56:04 +0200 |
| commit | fa719e594be2a6d3132706c11166fd4ad4d57e01 (patch) | |
| tree | b2f1805087a2c1f1b22d4ff489bcb6d77d4d20fb /doc/.gitignore | |
| parent | f558d4404a9cb5b87ce3e239d8c0712bbaaba39a (diff) | |
| parent | dc0e2a74d74f524f1d94140827d88479d42acd69 (diff) | |
| download | ouroboros-fa719e594be2a6d3132706c11166fd4ad4d57e01.tar.gz ouroboros-fa719e594be2a6d3132706c11166fd4ad4d57e01.zip | |
Merged in dstaesse/ouroboros/be-bugfixing (pull request #196)
lib: dev.c: Release locks before blocking calls
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions