summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@intec.ugent.be>2016-10-30 10:49:31 +0100
committerdimitri staessens <dimitri.staessens@intec.ugent.be>2016-10-30 10:49:31 +0100
commit4c72c5065411a394f04faebbe0a574a7e1f3e65f (patch)
tree08405f4e98d8e1a3659481b073f007c2a1a816d9 /.gitignore
parent5d01776443c0a500ffbc79a36745b07b8628bd62 (diff)
downloadouroboros-4c72c5065411a394f04faebbe0a574a7e1f3e65f.tar.gz
ouroboros-4c72c5065411a394f04faebbe0a574a7e1f3e65f.zip
irmd: Fix irmd state check
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions