summaryrefslogtreecommitdiff
path: root/compile_debug.sh
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@ugent.be>2017-10-07 11:19:25 +0000
committerSander Vrijders <sander.vrijders@ugent.be>2017-10-07 11:19:25 +0000
commit51fee46f023ecc05918c3b40cbef90af705b0fe8 (patch)
tree2d6d040eef0dd6aa88c03a082e469c54a51531d5 /compile_debug.sh
parent7dcacfbc94386e155650aaaa1a8f56cfb6fc53f9 (diff)
parentffdfca4bdf98b571d6a472b1501c3b696807f558 (diff)
downloadouroboros-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