From 1739af9ed136048531a02f86eefbd37486c59774 Mon Sep 17 00:00:00 2001
From: Yannick Forster <yannick.forster@inria.fr>
Date: Thu, 1 Dec 2022 17:01:25 +0100
Subject: [PATCH] Update metacoq.code-workspace

---
 .vscode/metacoq.code-workspace | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.vscode/metacoq.code-workspace b/.vscode/metacoq.code-workspace
index 6037bbe57..973ccbbf2 100644
--- 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
     }
 }