MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Make reposearch plugin implementaion detail

Browse Source 
GitOrigin-RevId: 239139a9a0af1fdaf15f86a84c3cf0558414d1e7
This commit is contained in:
Alexander Bubenchikov
2020-01-13 17:08:44 +00:00
committed by intellij-monorepo-bot
parent 5962036bd7
commit b169c23ef0
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/repository-search/src/main/resources/META-INF/plugin.xml
+1 -1
View File
@@ -1,4 +1,4 @@
<idea-plugin>
<idea-plugin implementation-detail="true">
<id>org.jetbrains.idea.reposearch</id>
<name>Jetbrains Repository Search</name>
<vendor>JetBrains</vendor>