diff options
| author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-05-10 11:00:43 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-05-10 11:00:43 +0200 |
| commit | a952b77225418ce0e92f14e58f2db792ce9a72b0 (patch) | |
| tree | 15c68e6176f05cc362fa5bdc0fb30ac8eaf65673 /doc/.gitignore | |
| parent | c7edaf433fda0f87c8fd579f0e8243f798922c62 (diff) | |
| parent | 14f3db5010610d728989395e1b7bcad960077a52 (diff) | |
| download | ouroboros-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