diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-04-10 12:34:02 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@ugent.be> | 2017-04-10 12:36:45 +0200 |
| commit | 14044c0ef96871583851c3e9a89a0e31163acde3 (patch) | |
| tree | 07eb4a5446751892c5694efff7ce60817ed75359 /install_release.sh | |
| parent | 23ffb733017a791ffec43b4031e0b64ce122153d (diff) | |
| download | ouroboros-14044c0ef96871583851c3e9a89a0e31163acde3.tar.gz ouroboros-14044c0ef96871583851c3e9a89a0e31163acde3.zip | |
lib: Make timeout for flow allocation const
Diffstat (limited to 'install_release.sh')
0 files changed, 0 insertions, 0 deletions