summaryrefslogtreecommitdiff
path: root/src/lib/.gitignore
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@ugent.be>2017-03-29 11:21:48 +0000
committerSander Vrijders <sander.vrijders@ugent.be>2017-03-29 11:21:48 +0000
commit9097a5446c31b83ec224b3e1403a319b24025346 (patch)
tree7e5714b5be41b8ebda807fcca71d084dcf1b9234 /src/lib/.gitignore
parent99b9bd5273e6f7bbbaf4973ef15977ac7056b02d (diff)
parent3896a4d3e8634470557ea72ded70e7d9e33b7741 (diff)
downloadouroboros-9097a5446c31b83ec224b3e1403a319b24025346.tar.gz
ouroboros-9097a5446c31b83ec224b3e1403a319b24025346.zip
Merged in dstaesse/ouroboros/be-lib-fix (pull request #430)
lib: Fix locks in dev.c
Diffstat (limited to 'src/lib/.gitignore')
0 files changed, 0 insertions, 0 deletions