diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-03-21 15:19:02 +0000 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-03-21 15:19:02 +0000 |
| commit | b04b4933fc7f03aef940b4de5fd43815834951ca (patch) | |
| tree | 835d86fa8c9695e95ef213dc5644d1a7f1fdc395 /src/lib/.gitignore | |
| parent | 15b492ffb0de010b94bfb4e80c721e04ef6f63c2 (diff) | |
| parent | 19a3277dbff7fc79c12be8a200ab6c8dfe6b50b9 (diff) | |
| download | ouroboros-b04b4933fc7f03aef940b4de5fd43815834951ca.tar.gz ouroboros-b04b4933fc7f03aef940b4de5fd43815834951ca.zip | |
Merged in dstaesse/ouroboros/testing-waits (pull request #407)
irmd: Fix timeouts in reg_entry
Diffstat (limited to 'src/lib/.gitignore')
0 files changed, 0 insertions, 0 deletions