summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@ugent.be>2017-06-04 15:45:21 +0200
committerdimitri staessens <dimitri.staessens@ugent.be>2017-06-04 15:45:21 +0200
commitbd79660f37a6110d0e53f20cec7a3863c5eff78e (patch)
tree88b104b87854037b52f710c2e085ec682d3dca09 /.gitignore
parentf2be3677aedd7a3d68122c48f00c99a4c8e76f88 (diff)
downloadouroboros-bd79660f37a6110d0e53f20cec7a3863c5eff78e.tar.gz
ouroboros-bd79660f37a6110d0e53f20cec7a3863c5eff78e.zip
lib, irmd: Handle case fallthrough in gcc 7
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions