Merge pull request MetaCoq#795 from MetaCoq/trim-trainling-whitespace…

…-for-real Trim trailing whitespace, this time enabled instead of disabled
yforster · Dec 15, 2022 · 486d222 · 486d222
2 parents 692584a + 1739af9
commit 486d222
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
     }
 }