From 20182327e4abf3f11aedec2379ad37e0cdc8849b Mon Sep 17 00:00:00 2001
From: goerlibe <23436477+goerlibe@users.noreply.github.com>
Date: Wed, 10 Jan 2024 12:11:23 +0100
Subject: [PATCH] docs: add auxiliary link to the VS Code extension

---
 docs/_config.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/_config.yml b/docs/_config.yml
index 1edcb9309..b34168748 100644
--- a/docs/_config.yml
+++ b/docs/_config.yml
@@ -36,5 +36,7 @@ mermaid:
 aux_links:
   "DiscoPoP on GitHub":
     - "//github.com/discopop-project/discopop"
+  "VS Code Extension":
+    - "https://marketplace.visualstudio.com/items?itemName=TUDarmstadt-LaboratoryforParallelProgramming.discopop"
 
 footer_content: "Copyright &copy; 2022, Technical University of Darmstadt."