diff options
| author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-04-01 15:04:14 +0200 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-04-01 15:04:14 +0200 |
| commit | 02972a88ac293356bcb4b03c8c6cd79735f7288a (patch) | |
| tree | b3f21e0bdb9cf0e773962db73be041bb86d0ee44 /src/tools/irm/irm_ops.h | |
| parent | 0e1aeba4f2d2de3ce827bfaeb1d9f2480e628529 (diff) | |
| parent | 65591e5211fb3c44450c52d7534918902e0760d5 (diff) | |
| download | ouroboros-02972a88ac293356bcb4b03c8c6cd79735f7288a.tar.gz ouroboros-02972a88ac293356bcb4b03c8c6cd79735f7288a.zip | |
Merged in dstaesse/ouroboros/be-build (pull request #51)
build: Cleanup of tests build
Diffstat (limited to 'src/tools/irm/irm_ops.h')
0 files changed, 0 insertions, 0 deletions