Merge pull request MetaRocq#795 from MetaCoq/trim-trainling-whitespace-for-real

Trim trailing whitespace, this time enabled instead of disabled

Author: mattam82

.vscode/metacoq.code-workspace

@@ -25,6 +25,6 @@
 	    ],
 
 	 // When enabled, will trim trailing whitespace when saving a file.
-	 "files.trimTrailingWhitespace": false
+	 "files.trimTrailingWhitespace": true
     }
 }