diff options
author | Sander Vrijders <[email protected]> | 2016-08-29 10:50:43 +0200 |
---|---|---|
committer | dimitri staessens <[email protected]> | 2016-08-29 20:32:36 +0200 |
commit | 11ae1b5669356fbaf3405e77d36f517f8c1894cc (patch) | |
tree | a9dbfceba99190181f0d427fb98bb964031d9548 /src/lib/dev.c | |
parent | da0739d8dea1235a047095c08cfe67871c3c216e (diff) | |
parent | bb2e24baf3f05c03450defd4c22a8a1279698bb1 (diff) | |
download | ouroboros-11ae1b5669356fbaf3405e77d36f517f8c1894cc.tar.gz ouroboros-11ae1b5669356fbaf3405e77d36f517f8c1894cc.zip |
Merged in dstaesse/ouroboros/be-bugfixing (pull request #228)
Some fixes
Diffstat (limited to 'src/lib/dev.c')
0 files changed, 0 insertions, 0 deletions