diff options
Diffstat (limited to 'config/gnu-warnings/developer-4.5')
| -rw-r--r-- | config/gnu-warnings/developer-4.5 | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/config/gnu-warnings/developer-4.5 b/config/gnu-warnings/developer-4.5 deleted file mode 100644 index 48df846..0000000 --- a/config/gnu-warnings/developer-4.5 +++ /dev/null @@ -1,7 +0,0 @@ -# -# -Wjump-misses-init makes lots of noise for a questionable benefit. -# Can jumping over an initialization in C cause any harm, if -# the variable is never *used* before it has been initialized? -# --Wjump-misses-init --Wunsuffixed-float-constants |