diff options
author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-04-10 16:19:29 +0000 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-04-10 16:19:29 +0000 |
commit | c020c3b8a81c44e6a67313e502deb6c000d1b577 (patch) | |
tree | 772a1f8ad0872b4d5c4ca0367a346a611fa022ed /src/tools/irm/irm_unregister.c | |
parent | b796ca07a6068b8582b1f39b08eca3582e37dd4f (diff) | |
parent | a3d550ff972121641562d375f75bcf188fc7fe59 (diff) | |
download | ouroboros-c020c3b8a81c44e6a67313e502deb6c000d1b577.tar.gz ouroboros-c020c3b8a81c44e6a67313e502deb6c000d1b577.zip |
Merged in dstaesse/ouroboros/be-timeo-const (pull request #474)
lib: Make timeout for flow allocation const
Diffstat (limited to 'src/tools/irm/irm_unregister.c')
0 files changed, 0 insertions, 0 deletions