summaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@intec.ugent.be>2016-05-10 11:00:43 +0200
committerdimitri staessens <dimitri.staessens@intec.ugent.be>2016-05-10 11:00:43 +0200
commita952b77225418ce0e92f14e58f2db792ce9a72b0 (patch)
tree15c68e6176f05cc362fa5bdc0fb30ac8eaf65673 /doc/.gitignore
parentc7edaf433fda0f87c8fd579f0e8243f798922c62 (diff)
parent14f3db5010610d728989395e1b7bcad960077a52 (diff)
downloadouroboros-a952b77225418ce0e92f14e58f2db792ce9a72b0.tar.gz
ouroboros-a952b77225418ce0e92f14e58f2db792ce9a72b0.zip
Merged in sandervrijders/ouroboros/be (pull request #71)
Fixes some log messages
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions