diff options
| author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-04-01 00:55:23 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-04-01 15:00:56 +0200 |
| commit | 3d859bb9a75932a6cffdd37466d510b479c9aa71 (patch) | |
| tree | 32b6f5c37957cc14e5ec17c41e35a1418d246315 /src/tools/irm | |
| parent | 413ca4527906121830ae3bb0f4d50c4df535bcd0 (diff) | |
| download | ouroboros-3d859bb9a75932a6cffdd37466d510b479c9aa71.tar.gz ouroboros-3d859bb9a75932a6cffdd37466d510b479c9aa71.zip | |
build: Cleanup of tests build
Diffstat (limited to 'src/tools/irm')
0 files changed, 0 insertions, 0 deletions