summaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorDimitri Staessens <dimitri.staessens@intec.ugent.be>2016-02-11 12:31:50 +0100
committerDimitri Staessens <dimitri.staessens@intec.ugent.be>2016-02-11 12:31:50 +0100
commitb1df380d2a58c2368808ee67f3260a0a6e2f0132 (patch)
tree041d81e3e02a5ccbc0846c2d581626dd53b7c818 /doc/.gitignore
parent5f3ee106ad32e07e8d00513212eb0968a84b59a1 (diff)
downloadouroboros-b1df380d2a58c2368808ee67f3260a0a6e2f0132.tar.gz
ouroboros-b1df380d2a58c2368808ee67f3260a0a6e2f0132.zip
Added CONTRIBUTORS file
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions