mirror of
https://github.com/catchorg/Catch2.git
synced 2025-10-01 17:41:06 +02:00
Changed GetOptions to use sequence
This commit is contained in:
committed by
Martin Hořeňovský
parent
f7e7fa0983
commit
3bcd0a4e74
@@ -78,5 +78,5 @@ WarningsAsErrors: >-
|
||||
readability-duplicate-include,
|
||||
HeaderFilterRegex: '.*\.(c|cxx|cpp)$'
|
||||
FormatStyle: none
|
||||
CheckOptions: {}
|
||||
CheckOptions: []
|
||||
...
|
||||
|
Reference in New Issue
Block a user