diff options
Diffstat (limited to 'main/.settings/org.eclipse.jdt.core.prefs')
-rw-r--r-- | main/.settings/org.eclipse.jdt.core.prefs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/main/.settings/org.eclipse.jdt.core.prefs b/main/.settings/org.eclipse.jdt.core.prefs index aaf1455..19b01c3 100644 --- a/main/.settings/org.eclipse.jdt.core.prefs +++ b/main/.settings/org.eclipse.jdt.core.prefs @@ -282,3 +282,4 @@ org.eclipse.jdt.core.formatter.use_on_off_tags=false org.eclipse.jdt.core.formatter.use_tabs_only_for_leading_indentations=false org.eclipse.jdt.core.formatter.wrap_before_binary_operator=true org.eclipse.jdt.core.formatter.wrap_outer_expressions_when_nested=true +org.eclipse.jdt.core.compiler.annotation.nullanalysis=enabled
\ No newline at end of file |