diff options
| author | Sander Vrijders <sander.vrijders@ugent.be> | 2017-08-03 13:21:19 +0000 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@ugent.be> | 2017-08-03 13:21:19 +0000 |
| commit | 3b06d69d61cd677394fa7adf1ffcfa13ab8bac70 (patch) | |
| tree | b071a0a3c396aa850a9024000a382165b0c00380 /.gitignore | |
| parent | b92eac2e9f6d686a9e2f748f8097aedbb373395c (diff) | |
| parent | 5bb3bea07b0ff38e4646ed6f835d9bdac6beced6 (diff) | |
| download | ouroboros-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