summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMathieu Boespflug <m@tweag.io>2018-03-25 12:08:41 +0200
committerMathieu Boespflug <m@tweag.io>2018-03-25 12:09:04 +0200
commit59a0b914360314f79502a7874d14ed4b0f7b81f7 (patch)
tree3f788f51f216076818bcb9ba90d4865f8a0b83b0 /.gitignore
parentdd18d94d70638649e4b18bdbc13e7c05ad8ff82b (diff)
Make example --pedantic compliant.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions