diff options
author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-07-03 15:56:03 +0200 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-07-03 15:56:03 +0200 |
commit | d6449cd5ecc6a557eb25c9ed2048e3aa652da629 (patch) | |
tree | 2dfdf933694cd6c6c74d9b6d8c4fc7d69b3aa450 /compile_release.sh | |
parent | d2a7cb2d27dab595bd2948ad3724016ca948e61e (diff) | |
parent | 9a255c8ff98815cc1c6d0b39c19e8ee2afbb587c (diff) | |
download | ouroboros-d6449cd5ecc6a557eb25c9ed2048e3aa652da629.tar.gz ouroboros-d6449cd5ecc6a557eb25c9ed2048e3aa652da629.zip |
Merged in dstaesse/ouroboros/be-bind (pull request #149)
irmd, tools: checks on binary
Diffstat (limited to 'compile_release.sh')
0 files changed, 0 insertions, 0 deletions