summaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@ugent.be>2017-05-23 09:18:15 +0000
committerSander Vrijders <sander.vrijders@ugent.be>2017-05-23 09:18:15 +0000
commit6cbe31eb5a14eaa993200fe7fe5710aab4b999f3 (patch)
tree7cd36c0898094d424587d3e51f71379ab84de7aa /doc/.gitignore
parentaeff2580642355a725975597741b38f2d3f0d2fa (diff)
parent78c9a10950ee93f90d83ab727b1d1d3430e2effa (diff)
downloadouroboros-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