diff options
| author | hjk <[email protected]> | 2023-07-17 09:06:36 +0200 |
|---|---|---|
| committer | hjk <[email protected]> | 2023-07-18 11:43:41 +0000 |
| commit | 814fabfe4b808ed68505abb25d78c12bff2c7bb1 (patch) | |
| tree | d93393a6592bae0bbdabfc7a825fae25b4ea7774 /src/plugins/cppcheck/cppchecktool.cpp | |
| parent | b779223bb3b7354ec9f76244a53a0fd621c5994d (diff) | |
CppCheck: Rename options to settings
That's the by far more common name nowadays.
Change-Id: Iae987221f9fa2e955fdee21496f895d25d44be4e
Reviewed-by: Christian Stenger <[email protected]>
Diffstat (limited to 'src/plugins/cppcheck/cppchecktool.cpp')
| -rw-r--r-- | src/plugins/cppcheck/cppchecktool.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/plugins/cppcheck/cppchecktool.cpp b/src/plugins/cppcheck/cppchecktool.cpp index bed43a98107..5bfcf941a3f 100644 --- a/src/plugins/cppcheck/cppchecktool.cpp +++ b/src/plugins/cppcheck/cppchecktool.cpp @@ -4,8 +4,8 @@ #include "cppchecktool.h" #include "cppcheckdiagnostic.h" -#include "cppcheckoptions.h" #include "cppcheckrunner.h" +#include "cppchecksettings.h" #include "cppchecktextmarkmanager.h" #include "cppchecktr.h" |