diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-03-25 11:06:25 +0000 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-03-25 11:06:25 +0000 |
| commit | 1d9061666656ba1cc5a5c72fcc564a3a45b2dd8a (patch) | |
| tree | 8f46da795657fc2e461c61ec3f4180e32fd68151 /src/tools/irm/irm_ops.h | |
| parent | 9cf1bc3d88334249092cb30eb9c789d870e6768b (diff) | |
| parent | 006da084997e7a27eac5f037356e269fedac00bb (diff) | |
| download | ouroboros-1d9061666656ba1cc5a5c72fcc564a3a45b2dd8a.tar.gz ouroboros-1d9061666656ba1cc5a5c72fcc564a3a45b2dd8a.zip | |
Merged in dstaesse/ouroboros/be-cdap (pull request #423)
lib: Fix invoke_ids and failure handling in CDAP
Diffstat (limited to 'src/tools/irm/irm_ops.h')
0 files changed, 0 insertions, 0 deletions