diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-08-21 09:11:38 +0000 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-08-21 09:11:38 +0000 |
| commit | 5b242e7207483860143d3c84438134430ac1448f (patch) | |
| tree | a04a750b802436a4e244d8224b800a2f26071091 /src/tools/irm | |
| parent | afe8b6f496dd4e0e3aaaa5dec0d6fb32253a49f7 (diff) | |
| parent | 8f58e5a3ec0e4a15fc8ae0911cc864f5dbf86c6e (diff) | |
| download | ouroboros-5b242e7207483860143d3c84438134430ac1448f.tar.gz ouroboros-5b242e7207483860143d3c84438134430ac1448f.zip | |
Merged in dstaesse/ouroboros/be-build (pull request #557)
build: Revise the build system
Diffstat (limited to 'src/tools/irm')
0 files changed, 0 insertions, 0 deletions