From 5dd30c492c4f159c78cd6f3ef0b63e2bc8e8fd8a Mon Sep 17 00:00:00 2001
From: Maarten Weyns <maarten.weyns@mawey.be>
Date: Mon, 9 Oct 2023 10:35:33 +0200
Subject: [PATCH] Update IntelliJ IDEA name

Co-authored-by: verwoerd <verwoerd@ch.tudelft.nl>
---
 content/systems.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/content/systems.md b/content/systems.md
index 322afcf..63243d9 100644
--- a/content/systems.md
+++ b/content/systems.md
@@ -38,7 +38,7 @@ The software configuration will consist of the following:
     - geany
     - kate
 - IDEs:
-    - Idea Community
+    - IntelliJ IDEA Community
         - Version: 2022.3
         - Workspace is already set up but needs to be opened from the welcome screen
         - Plugins: