diff options
| author | dimitri staessens <dimitri.staessens@ugent.be> | 2017-05-23 09:18:15 +0000 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-05-23 09:18:15 +0000 |
| commit | 6cbe31eb5a14eaa993200fe7fe5710aab4b999f3 (patch) | |
| tree | 7cd36c0898094d424587d3e51f71379ab84de7aa /doc/.gitignore | |
| parent | aeff2580642355a725975597741b38f2d3f0d2fa (diff) | |
| parent | 78c9a10950ee93f90d83ab727b1d1d3430e2effa (diff) | |
| download | ouroboros-6cbe31eb5a14eaa993200fe7fe5710aab4b999f3.tar.gz ouroboros-6cbe31eb5a14eaa993200fe7fe5710aab4b999f3.zip | |
Merged in dstaesse/ouroboros/be-dev-fixes (pull request #509)
lib: Fix some bugs in dev.c
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions