diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-10-07 11:19:25 +0000 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-10-07 11:19:25 +0000 |
| commit | 51fee46f023ecc05918c3b40cbef90af705b0fe8 (patch) | |
| tree | 2d6d040eef0dd6aa88c03a082e469c54a51531d5 /compile_debug.sh | |
| parent | 7dcacfbc94386e155650aaaa1a8f56cfb6fc53f9 (diff) | |
| parent | ffdfca4bdf98b571d6a472b1501c3b696807f558 (diff) | |
| download | ouroboros-51fee46f023ecc05918c3b40cbef90af705b0fe8.tar.gz ouroboros-51fee46f023ecc05918c3b40cbef90af705b0fe8.zip | |
Merged in dstaesse/ouroboros/be-irmd-version (pull request #623)
irmd: Add option to print version
Diffstat (limited to 'compile_debug.sh')
0 files changed, 0 insertions, 0 deletions