summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorSander Vrijders <sander.vrijders@ugent.be>2017-08-03 13:21:19 +0000
committerdimitri staessens <dimitri.staessens@ugent.be>2017-08-03 13:21:19 +0000
commit3b06d69d61cd677394fa7adf1ffcfa13ab8bac70 (patch)
treeb071a0a3c396aa850a9024000a382165b0c00380 /.gitignore
parentb92eac2e9f6d686a9e2f748f8097aedbb373395c (diff)
parent5bb3bea07b0ff38e4646ed6f835d9bdac6beced6 (diff)
downloadouroboros-3b06d69d61cd677394fa7adf1ffcfa13ab8bac70.tar.gz
ouroboros-3b06d69d61cd677394fa7adf1ffcfa13ab8bac70.zip
Merged in sandervrijders/ouroboros/be-hurd (pull request #539)
build: Add check for robust mutexes
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions