diff options
author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-08-25 11:55:19 +0200 |
---|---|---|
committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-08-25 11:55:19 +0200 |
commit | 6da1fa9716e508d5d15d2953a2c358cfd24c1570 (patch) | |
tree | 8a8c3f900dbc16ce9435a0060a1d5abb98ba544c /compile_release.sh | |
parent | ca87c116be0676b20a1c1ad69635d1aa652887ac (diff) | |
download | ouroboros-6da1fa9716e508d5d15d2953a2c358cfd24c1570.tar.gz ouroboros-6da1fa9716e508d5d15d2953a2c358cfd24c1570.zip |
irmd: Remove stale sources
Diffstat (limited to 'compile_release.sh')
0 files changed, 0 insertions, 0 deletions