From 2a027bddc5105978ec45e98d04292c3482e1bc53 Mon Sep 17 00:00:00 2001
From: Tomasz Pasternak <tomasz.pasternak@jetbrains.com>
Date: Thu, 26 Oct 2023 15:12:53 +0200
Subject: [PATCH] Add information about devkit in development setup guide
 (#5544)

---
 DEV_IDE_SETUP.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/DEV_IDE_SETUP.md b/DEV_IDE_SETUP.md
index ce0fc245404..e3f38f3b057 100644
--- a/DEV_IDE_SETUP.md
+++ b/DEV_IDE_SETUP.md
@@ -1,5 +1,11 @@
 # IntelliJ Development Instance Setup
 
+## DevKit Plugin
+
+For IntelliJ 2023.3 and newer, make sure you have DevKit plugin installed in your host IntelliJ.
+
+https://plugins.jetbrains.com/plugin/22851-plugin-devkit
+
 ## Import the plugin project.
 
 Clone and import this repository as you would any other Bazel project.