summaryrefslogtreecommitdiff
path: root/src/lib/.gitignore
diff options
context:
space:
mode:
authorSander Vrijders <sander.vrijders@ugent.be>2017-08-29 18:34:26 +0200
committerSander Vrijders <sander.vrijders@ugent.be>2017-08-29 18:34:26 +0200
commit7d598d4a706e06e7e89218ca9ae071dd630cb2b3 (patch)
treea533c39bd42c9cbdb482ff210378b797c77b9e6e /src/lib/.gitignore
parent706de5704f4d61929bbbb87d8d667ba68fcffc7d (diff)
downloadouroboros-7d598d4a706e06e7e89218ca9ae071dd630cb2b3.tar.gz
ouroboros-7d598d4a706e06e7e89218ca9ae071dd630cb2b3.zip
irmd: Fix deleting corrupt shm file
This will delete the rdrbuff also when it has been corrupted before. Otherwise the irmd won't start, as experienced on my desktop.
Diffstat (limited to 'src/lib/.gitignore')
0 files changed, 0 insertions, 0 deletions