summaryrefslogtreecommitdiff
path: root/src/tools/irm/irm.c
diff options
context:
space:
mode:
authorDimitri Staessens <dimitri.staessens@intec.ugent.be>2016-02-26 15:02:23 +0100
committerDimitri Staessens <dimitri.staessens@intec.ugent.be>2016-02-26 15:02:23 +0100
commit5ed07e6935a73bd54dd31c96afdf478a42d70ea1 (patch)
tree1de8f84b41c610813548c2167dff8dd77992edf2 /src/tools/irm/irm.c
parentbb1d3fd141c33a98137edd9261a9adb9ea1d3753 (diff)
downloadouroboros-5ed07e6935a73bd54dd31c96afdf478a42d70ea1.tar.gz
ouroboros-5ed07e6935a73bd54dd31c96afdf478a42d70ea1.zip
doc: workflow updated for consistency
Diffstat (limited to 'src/tools/irm/irm.c')
0 files changed, 0 insertions, 0 deletions