summaryrefslogtreecommitdiff
path: root/src/tools/irm
diff options
context:
space:
mode:
authorSander Vrijders <sander.vrijders@intec.ugent.be>2016-02-15 12:23:25 +0100
committerSander Vrijders <sander.vrijders@intec.ugent.be>2016-02-15 12:23:25 +0100
commit58a166601a039a6a91174c76e6a722acdda0008c (patch)
tree11885e1f7f35014ed650219b08fa1ea7ba629e0d /src/tools/irm
parent8a99d432ac565e0cca57c3ad81e09951b81b30f1 (diff)
downloadouroboros-58a166601a039a6a91174c76e6a722acdda0008c.tar.gz
ouroboros-58a166601a039a6a91174c76e6a722acdda0008c.zip
include: Initial IRM API
This adds a header file with the initial API for applications to instruct the IRM.
Diffstat (limited to 'src/tools/irm')
0 files changed, 0 insertions, 0 deletions