diff options
author | Dimitri Staessens <dimitri.staessens@intec.ugent.be> | 2016-02-26 14:43:50 +0100 |
---|---|---|
committer | Dimitri Staessens <dimitri.staessens@intec.ugent.be> | 2016-02-26 14:43:50 +0100 |
commit | 7b6fc640c7d31ff8979194813b0fa0e7b4f24bde (patch) | |
tree | ad1d9b481fb64fcab6546de990a32f31462b2499 /compile_release.sh | |
parent | 410d00dc06b2b7a89223479adec584dbf011e212 (diff) | |
parent | dff374d5f393a6b4bec4877aa1c35ceb70e82843 (diff) | |
download | ouroboros-7b6fc640c7d31ff8979194813b0fa0e7b4f24bde.tar.gz ouroboros-7b6fc640c7d31ff8979194813b0fa0e7b4f24bde.zip |
Merged in sandervrijders/ouroboros/be (pull request #10)
Initial support for communicating with the IRM
Diffstat (limited to 'compile_release.sh')
0 files changed, 0 insertions, 0 deletions