diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/gnu-warnings-developer-general | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/config/gnu-warnings-developer-general b/config/gnu-warnings-developer-general index fd47e76..698f0e0 100644 --- a/config/gnu-warnings-developer-general +++ b/config/gnu-warnings-developer-general @@ -6,9 +6,3 @@ -Winline -Wmissing-format-attribute -Wmissing-noreturn -# suggested dev warnings from general section -# -Wdisabled-optimization -# -Wswitch-default -# -Wswitch-enum -# -Wunsafe-loop-optimizations -# -Wunused-macros
\ No newline at end of file |