Update metacoq.code-workspace

MetaCoq · Dec 1, 2022 · 1739af9 · 1739af9
1 parent 48f47f8
commit 1739af9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.vscode/metacoq.code-workspace b/.vscode/metacoq.code-workspace
@@ -25,6 +25,6 @@
 	    ],
 
 	 // When enabled, will trim trailing whitespace when saving a file.
-	 "files.trimTrailingWhitespace": false
+	 "files.trimTrailingWhitespace": true
     }
 }