mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[javadoc] Remove unused property
IJ-MR-174748 GitOrigin-RevId: fb32b953cb958cfebcbb8ae841bc454553a6018a
This commit is contained in:
committed by
intellij-monorepo-bot
parent
981fbe43a4
commit
a9624aa0bf
-4
@@ -13,12 +13,8 @@ import com.intellij.psi.search.GlobalSearchScope
|
||||
import com.intellij.psi.util.CachedValueProvider.Result
|
||||
import com.intellij.psi.util.CachedValuesManager
|
||||
import com.intellij.psi.util.PsiModificationTracker
|
||||
import com.intellij.util.indexing.ID
|
||||
import java.util.regex.Pattern
|
||||
|
||||
@JvmField
|
||||
val NAME: ID<String, LinkedHashSet<JavaDocFragmentData>> = ID.create("java.javadoc.fragment.anchors")
|
||||
|
||||
/**
|
||||
* Data associated with a JavaDoc fragment (e.g. `<p id=my-fragment-id></p>`).
|
||||
*
|
||||
|
||||
Reference in New Issue
Block a user