summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDimitri Staessens <dimitri.staessens@ugent.be>2018-10-09 09:51:38 +0200
committerDimitri Staessens <dimitri.staessens@ugent.be>2018-10-09 09:51:38 +0200
commit664b815345553592b840e6be89384a91f9ee110b (patch)
tree41f1551d65deb7eb76d60a3b2d9ad6dd21714998 /.gitignore
parent0b2e5c5410580c755cef02114e51f15b19cfaffa (diff)
parentff847419e54f283872d883a85ecea082e2c98790 (diff)
downloadouroboros-664b815345553592b840e6be89384a91f9ee110b.tar.gz
ouroboros-664b815345553592b840e6be89384a91f9ee110b.zip
Merge branch 'testing' into be
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions