mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 04:51:24 +07:00
[project] Mute more spelling problems for Java and Python plugins
GitOrigin-RevId: c75d3634ebb3d649fea82e78fddc9d3c186d7493
This commit is contained in:
committed by
intellij-monorepo-bot
parent
6cf577b450
commit
1c524da10b
@@ -1,3 +1,4 @@
|
||||
<!--suppress PluginXmlRegistrationCheck -->
|
||||
<idea-plugin xmlns:xi="http://www.w3.org/2001/XInclude" url="https://www.jetbrains.com/pycharm/">
|
||||
<!--Python community support for Pycharm, DS and IC.-->
|
||||
<!--Include core Python functionality-->
|
||||
|
||||
Reference in New Issue
Block a user