summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@intec.ugent.be>2016-08-22 16:41:35 +0200
committerdimitri staessens <dimitri.staessens@intec.ugent.be>2016-08-22 16:41:35 +0200
commit34123b6bfc39e5bea5f2c599b1eea51d3c82ba06 (patch)
treec97511258dca33022059718fc1ea666808222e42 /.gitignore
parent82c6b3ed73b01321141488c634c9c1c4d515b04b (diff)
downloadouroboros-34123b6bfc39e5bea5f2c599b1eea51d3c82ba06.tar.gz
ouroboros-34123b6bfc39e5bea5f2c599b1eea51d3c82ba06.zip
tools: Fix segmentation faults
The apis parameter is not set if the IRMd is not running when running the tool.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions