summaryrefslogtreecommitdiff
path: root/src/lib/.gitignore
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@intec.ugent.be>2016-05-24 21:22:51 +0200
committerdimitri staessens <dimitri.staessens@intec.ugent.be>2016-05-24 21:22:51 +0200
commite5f567c7647acefa295850f5ab6ccf2c10329c44 (patch)
tree56747779db27822f750967fbc0dfaf0566b4f42d /src/lib/.gitignore
parentd74d67a0e2d3de0ec208ed9b839815a70d84f727 (diff)
downloadouroboros-e5f567c7647acefa295850f5ab6ccf2c10329c44.tar.gz
ouroboros-e5f567c7647acefa295850f5ab6ccf2c10329c44.zip
tools: fixes comments on d74d67a
Diffstat (limited to 'src/lib/.gitignore')
0 files changed, 0 insertions, 0 deletions