Bits and pieces of small changes

2023-11-06 10:10:41 +00:00 · 2023-11-06 10:10:41 +00:00 · 936e0922ce
commit 936e0922ce
parent 1f7e38a930
6 changed files with 109 additions and 3 deletions
--- a/workspace.code-workspace
+++ b/workspace.code-workspace
@ -23,6 +23,7 @@
 		}
 	],
 	"settings": {
-		"java.configuration.updateBuildConfiguration": "automatic"
+		"java.configuration.updateBuildConfiguration": "automatic",
+		"java.compile.nullAnalysis.mode": "automatic"
 	}
 }