diff options
| author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-05-24 21:22:51 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-05-24 21:22:51 +0200 |
| commit | e5f567c7647acefa295850f5ab6ccf2c10329c44 (patch) | |
| tree | 56747779db27822f750967fbc0dfaf0566b4f42d /src/lib/.gitignore | |
| parent | d74d67a0e2d3de0ec208ed9b839815a70d84f727 (diff) | |
| download | ouroboros-e5f567c7647acefa295850f5ab6ccf2c10329c44.tar.gz ouroboros-e5f567c7647acefa295850f5ab6ccf2c10329c44.zip | |
tools: fixes comments on d74d67a
Diffstat (limited to 'src/lib/.gitignore')
0 files changed, 0 insertions, 0 deletions