🚨 fixed a linter warning

This commit is contained in:
Niels Lohmann 2018-02-28 19:59:54 +01:00
parent 1f3d2a3be7
commit 5773e164bb
No known key found for this signature in database
GPG key ID: 7F3CEA63AE251B69
3 changed files with 13 additions and 0 deletions

1
.gitignore vendored
View file

@ -10,6 +10,7 @@ fuzz-testing
build
build_coverage
clang_analyze_build
doc/xml
doc/html