diff options
| author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-08-31 14:30:28 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-08-31 14:31:07 +0200 |
| commit | c1f31f6c3ca8bd91d0caaa209e2a1592eebf77d5 (patch) | |
| tree | 64ca0980ac2f8e19cc945d0932c59daec99e3210 /compile_release.sh | |
| parent | 857c014a40a75eda574af8b2002b1c794bc0975c (diff) | |
| download | ouroboros-c1f31f6c3ca8bd91d0caaa209e2a1592eebf77d5.tar.gz ouroboros-c1f31f6c3ca8bd91d0caaa209e2a1592eebf77d5.zip | |
tools, irm: Fix segfault with missing parameters
Diffstat (limited to 'compile_release.sh')
0 files changed, 0 insertions, 0 deletions