From 4ba47b8d904b194c2e092354ebac80615696389d Mon Sep 17 00:00:00 2001
From: Joris Van den Bossche <jorisvandenbossche@gmail.com>
Date: Fri, 2 Dec 2022 17:50:05 +0100
Subject: [PATCH] DEV: enable liveserver for docs on gitpod

---
 .gitpod.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitpod.yml b/.gitpod.yml
index 6bba39823791e..877c16eefb5d6 100644
--- a/.gitpod.yml
+++ b/.gitpod.yml
@@ -32,6 +32,7 @@ vscode:
     - yzhang.markdown-all-in-one
     - eamodio.gitlens
     - lextudio.restructuredtext
+    - ritwickdey.liveserver
     # add or remove what you think is generally useful to most contributors
     # avoid adding too many. they each open a pop-up window