diff options
| author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2017-02-13 14:36:21 +0000 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2017-02-13 14:36:21 +0000 |
| commit | d0828fb9c20be5923abc6138cca3dfa02f4ed5f7 (patch) | |
| tree | cbabdeeea9c1ea8105604529a9a1b9b1a31997ba /src/tools/irm/irm_bind.c | |
| parent | 2b7ac6ec2413e12e1a18b11df5270c2c9f5f9975 (diff) | |
| parent | 111bf59e8ee454973df17ce9686566ee0d9cd03a (diff) | |
| download | ouroboros-d0828fb9c20be5923abc6138cca3dfa02f4ed5f7.tar.gz ouroboros-d0828fb9c20be5923abc6138cca3dfa02f4ed5f7.zip | |
Merged in sandervrijders/ouroboros/be-install-scripts (pull request #373)
build: Make install scripts OS agnostic
Diffstat (limited to 'src/tools/irm/irm_bind.c')
0 files changed, 0 insertions, 0 deletions