diff options
author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-04-13 10:18:08 +0000 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-04-13 10:18:08 +0000 |
commit | df141f1ccff7edac4873845855d605ef70057fae (patch) | |
tree | fb86f87679dda03cc53e06d9b0c6d3ee0ef26751 /src/tools/irm/irm.c | |
parent | 72c28d6173ade511e9dc6969e0fc66db2dbba38a (diff) | |
parent | 21187cdf04f6b6697064430aac68dcf795923943 (diff) | |
download | ouroboros-df141f1ccff7edac4873845855d605ef70057fae.tar.gz ouroboros-df141f1ccff7edac4873845855d605ef70057fae.zip |
Merged in dstaesse/ouroboros/be-ap_init (pull request #480)
include, lib: Rename ap_init/ap_fini
Diffstat (limited to 'src/tools/irm/irm.c')
0 files changed, 0 insertions, 0 deletions