diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-08-06 12:07:37 +0000 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-08-06 12:07:37 +0000 |
| commit | 71dda25215e03e20dbe51f6071ea37b3ca3b3cdc (patch) | |
| tree | 34e18d36a6cd46194d10265c517c802eeb3b784c /install_release.sh | |
| parent | f85c70fdb6dbbadb903155120892e55b0eff5dda (diff) | |
| parent | b4568842c014eb6fff2305c508b20d7ae9186d4c (diff) | |
| download | ouroboros-71dda25215e03e20dbe51f6071ea37b3ca3b3cdc.tar.gz ouroboros-71dda25215e03e20dbe51f6071ea37b3ca3b3cdc.zip | |
Merged in dstaesse/ouroboros/be-irmd-timeo (pull request #542)0.6
irmd: Specify timeout per command
Diffstat (limited to 'install_release.sh')
0 files changed, 0 insertions, 0 deletions