summaryrefslogtreecommitdiff
path: root/install_release.sh
diff options
context:
space:
mode:
authorDimitri Staessens <dimitri.staessens@intec.ugent.be>2016-03-11 17:30:45 +0100
committerDimitri Staessens <dimitri.staessens@intec.ugent.be>2016-03-11 17:30:45 +0100
commitd6897a45d8b45d5bc00f1a6dcd627a14aa535120 (patch)
treee37582961e744a7d56e29c134ba147df2da1a061 /install_release.sh
parentb68c90fbf9f4a60e4fc406903e38d20453ba8253 (diff)
parent328078c1ee01d64733328b3dad3e7db68dcd6d2d (diff)
downloadouroboros-d6897a45d8b45d5bc00f1a6dcd627a14aa535120.tar.gz
ouroboros-d6897a45d8b45d5bc00f1a6dcd627a14aa535120.zip
Merged in sandervrijders/ouroboros/be-irmd (pull request #26)
Helper functions for naming and extension of the irmd code
Diffstat (limited to 'install_release.sh')
0 files changed, 0 insertions, 0 deletions