diff options
| author | Dimitri Staessens <dimitri.staessens@intec.ugent.be> | 2016-03-11 17:30:45 +0100 |
|---|---|---|
| committer | Dimitri Staessens <dimitri.staessens@intec.ugent.be> | 2016-03-11 17:30:45 +0100 |
| commit | d6897a45d8b45d5bc00f1a6dcd627a14aa535120 (patch) | |
| tree | e37582961e744a7d56e29c134ba147df2da1a061 /install_release.sh | |
| parent | b68c90fbf9f4a60e4fc406903e38d20453ba8253 (diff) | |
| parent | 328078c1ee01d64733328b3dad3e7db68dcd6d2d (diff) | |
| download | ouroboros-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