From 51aa5a2da92f95d07e6724af5531591f474f70b5 Mon Sep 17 00:00:00 2001
From: laurentheirendt <laurent.heirendt@uni.lu>
Date: Thu, 8 Apr 2021 11:21:45 +0200
Subject: [PATCH] fix links

---
 external/contribute/vscode/vscode.md   | 3 ++-
 external/contribute/web-ide/web-ide.md | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/external/contribute/vscode/vscode.md b/external/contribute/vscode/vscode.md
index a98caccf..2719b5c7 100644
--- a/external/contribute/vscode/vscode.md
+++ b/external/contribute/vscode/vscode.md
@@ -1,11 +1,12 @@
 ---
 layout: page
-permalink: /external/contribute/vscode
+permalink: /external/contribute/vscode/
 shortcut: contribute:vscode
 redirect_from:
   - /cards/contribute:vscode
   - /external/cards/contribute:vscode
 ---
+
 # Contribute using Visual Studio Code
 
 This shows how to use Visual Studio Code to write a howto-card:
diff --git a/external/contribute/web-ide/web-ide.md b/external/contribute/web-ide/web-ide.md
index 042c2f19..d15e790c 100644
--- a/external/contribute/web-ide/web-ide.md
+++ b/external/contribute/web-ide/web-ide.md
@@ -1,11 +1,12 @@
 ---
 layout: page
-permalink: /external/contribute/web-ide
+permalink: /external/contribute/web-ide/
 shortcut: contribute:web-ide
 redirect_from:
   - /cards/contribute:web-ide
   - /external/cards/contribute:web-ide
 ---
+
 # Contribute using Gitlab Web IDE
 
 This shows how to use Gitlab Web IDE to add or edit a howto-card:
-- 
GitLab