summaryrefslogtreecommitdiff
path: root/src/tools/irm/irm_unregister.c
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@ugent.be>2017-03-28 09:18:22 +0000
committerSander Vrijders <sander.vrijders@ugent.be>2017-03-28 09:18:22 +0000
commitdd8a29875da101b0288a925fd259440b644e87eb (patch)
tree834fd7716249fa5e92632bb8a2ca5e1bf22c0745 /src/tools/irm/irm_unregister.c
parentba13c05b8b61365ff9e969c15affd2e1d52b76ed (diff)
parent568803fce010565f8688a2a48614da083a264cf8 (diff)
downloadouroboros-dd8a29875da101b0288a925fd259440b644e87eb.tar.gz
ouroboros-dd8a29875da101b0288a925fd259440b644e87eb.zip
Merged in dstaesse/ouroboros/be-bugfixing (pull request #427)
Be bugfixing
Diffstat (limited to 'src/tools/irm/irm_unregister.c')
0 files changed, 0 insertions, 0 deletions