From ae79eca1f4f7018341fb0cc827b7e9c8c27eeecd Mon Sep 17 00:00:00 2001
From: William Desportes <williamdes@wdes.fr>
Date: Wed, 18 Mar 2020 12:52:08 +0100
Subject: [PATCH] Fix a scss lint error

Signed-off-by: William Desportes <williamdes@wdes.fr>
---
 themes/bootstrap/scss/_codemirror.scss | 1 +
 1 file changed, 1 insertion(+)

diff --git a/themes/bootstrap/scss/_codemirror.scss b/themes/bootstrap/scss/_codemirror.scss
index 04f27734f4..7ffa240573 100644
--- a/themes/bootstrap/scss/_codemirror.scss
+++ b/themes/bootstrap/scss/_codemirror.scss
@@ -5,6 +5,7 @@ $textarea-rows: 15;
   height: ceil($textarea-rows * 1.2em);
   direction: ltr;
   border: $card-border-width solid $card-border-color;
+
   @include border-radius($card-border-radius);
 }