From 6c957150e080adaf8ca56ff0ee11709ef7abb428 Mon Sep 17 00:00:00 2001 From: kristof de spiegeleer Date: Thu, 26 Aug 2021 12:06:10 +0000 Subject: [PATCH] ... --- .gitpod.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.gitpod.yml b/.gitpod.yml index d1a057a95..5058ba1cb 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -9,7 +9,6 @@ tasks: publtools_check cd config publishtools install - cd .. echo ' - do "publishtools run" to run website.' echo ' - do "open workspace.code-workspace" to open all relevant dirs in your editor.' ports: