summaryrefslogtreecommitdiff
path: root/src/tools/irm
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@intec.ugent.be>2016-04-01 00:55:23 +0200
committerdimitri staessens <dimitri.staessens@intec.ugent.be>2016-04-01 15:00:56 +0200
commit3d859bb9a75932a6cffdd37466d510b479c9aa71 (patch)
tree32b6f5c37957cc14e5ec17c41e35a1418d246315 /src/tools/irm
parent413ca4527906121830ae3bb0f4d50c4df535bcd0 (diff)
downloadouroboros-3d859bb9a75932a6cffdd37466d510b479c9aa71.tar.gz
ouroboros-3d859bb9a75932a6cffdd37466d510b479c9aa71.zip
build: Cleanup of tests build
Diffstat (limited to 'src/tools/irm')
0 files changed, 0 insertions, 0 deletions