summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDimitri Staessens <dimitri.staessens@intec.ugent.be>2016-02-26 15:02:23 +0100
committerDimitri Staessens <dimitri.staessens@intec.ugent.be>2016-02-26 15:02:23 +0100
commit5ed07e6935a73bd54dd31c96afdf478a42d70ea1 (patch)
tree1de8f84b41c610813548c2167dff8dd77992edf2 /.gitignore
parentbb1d3fd141c33a98137edd9261a9adb9ea1d3753 (diff)
downloadouroboros-5ed07e6935a73bd54dd31c96afdf478a42d70ea1.tar.gz
ouroboros-5ed07e6935a73bd54dd31c96afdf478a42d70ea1.zip
doc: workflow updated for consistency
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions