From f9dd4f44b06fc88b68e67f642bff2678f5aa2ab6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Yann=20C=C3=A9bron?= <yann.cebron@jetbrains.com>
Date: Thu, 10 Oct 2024 09:45:14 +0200
Subject: [PATCH] [platform] DumbAware: Javadoc

GitOrigin-RevId: 517a73527b7c7272773597ad52512bdc03c14e68
---
 .../core-api/src/com/intellij/openapi/project/DumbAware.java     | 1 +
 1 file changed, 1 insertion(+)

diff --git a/platform/core-api/src/com/intellij/openapi/project/DumbAware.java b/platform/core-api/src/com/intellij/openapi/project/DumbAware.java
index 8dd582c826e5..5a9f8f0e1bb6 100644
--- a/platform/core-api/src/com/intellij/openapi/project/DumbAware.java
+++ b/platform/core-api/src/com/intellij/openapi/project/DumbAware.java
@@ -21,6 +21,7 @@ package com.intellij.openapi.project;
  * @see DumbService
  * @see DumbAwareRunnable
  * @see PossiblyDumbAware
+ * @see <a href="https://plugins.jetbrains.com/docs/intellij/indexing-and-psi-stubs.html#DumbAwareAPI">DumbAware API (IntelliJ Platform Docs)</a>
  */
 public interface DumbAware {
 }