docs: add auxiliary link to the VS Code extension

discopop-project · Jan 10, 2024 · 2018232 · 2018232
1 parent 84c32d5
commit 2018232
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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."