summaryrefslogtreecommitdiff
path: root/install_release.sh
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@intec.ugent.be>2016-08-21 22:53:26 +0200
committerdimitri staessens <dimitri.staessens@intec.ugent.be>2016-08-21 22:56:50 +0200
commit29adff2f68ce990ebaed3d0c9c1baf50ef474f4f (patch)
tree4aa5743aa137f8bdfa432a92a3ea7af4e25cc162 /install_release.sh
parentf0d4305c067044e74c44032c32ce6c4db3c6fffa (diff)
downloadouroboros-29adff2f68ce990ebaed3d0c9c1baf50ef474f4f.tar.gz
ouroboros-29adff2f68ce990ebaed3d0c9c1baf50ef474f4f.zip
tools: Add missing files
Diffstat (limited to 'install_release.sh')
0 files changed, 0 insertions, 0 deletions