diff options
| author | Sander Vrijders <sander.vrijders@ugent.be> | 2017-04-24 14:50:30 +0000 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@ugent.be> | 2017-04-24 14:50:30 +0000 |
| commit | ea16fc664673d65c0e3e51591258be4d3b8be406 (patch) | |
| tree | ec99c0417dd9a341d5333b990b85a50539f661b6 /src/tools/irm/irm_unbind.c | |
| parent | 1bca9a9848dc842e2a40c666560391cdd4c95ca0 (diff) | |
| parent | fbf20bff013e4ca36ed7417376954723651f0a6f (diff) | |
| download | ouroboros-ea16fc664673d65c0e3e51591258be4d3b8be406.tar.gz ouroboros-ea16fc664673d65c0e3e51591258be4d3b8be406.zip | |
Merged in sandervrijders/ouroboros/be-headers (pull request #492)
lib: Remove dependency on installed headers
Diffstat (limited to 'src/tools/irm/irm_unbind.c')
0 files changed, 0 insertions, 0 deletions