From b0bc4a49fd2cd18e4929e84275eeb5a6b2af86c3 Mon Sep 17 00:00:00 2001
From: Renato Alves <alves.rjc@gmail.com>
Date: Fri, 6 Nov 2020 14:25:33 +0100
Subject: [PATCH] Don't trim trailing spaces in markdown

This caused formatting issues when using Theia through Gitpod
---
 .editorconfig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.editorconfig b/.editorconfig
index 1d7d564d..9c5b638a 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -9,6 +9,7 @@ trim_trailing_whitespace = true
 indent_size = 2
 indent_style = space
 max_line_length = 100  # Please keep this in sync with bin/lesson_check.py!
+trim_trailing_whitespace = false  # Trailing whitespace in markdown is meaningful 
 
 [*.r]
 max_line_length = 80