MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-08 15:09:39 +07:00
Code Issues Packages Projects Releases Wiki Activity

[github] allow patch updates to the bundled github plugin

Browse Source 
GitOrigin-RevId: a3c12e6392317fc99e14980f7f977f7cae44ee95
This commit is contained in:
Ivan Semenov
2024-06-24 16:02:30 +02:00
committed by intellij-monorepo-bot
parent 9f7fb5b2d3
commit 39ae96520d
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
plugins/github/community/resources/META-INF/plugin.xml
View File

@@ -1,4 +1,5 @@
<idea-plugin package="org.jetbrains.plugins.github" xmlns:xi="http://www.w3.org/2001/XInclude">
<idea-plugin package="org.jetbrains.plugins.github" xmlns:xi="http://www.w3.org/2001/XInclude"
allow-bundled-update="true">
<name>GitHub</name>
<id>org.jetbrains.plugins.github</id>
<vendor>JetBrains</vendor>