Advanced Settings: convert process.ignored into global option
authorDmitriy Smirnov <dmitriy.smirnov@jetbrains.com>
Mon, 14 Jun 2021 14:12:42 +0000 (16:12 +0200)
committerintellij-monorepo-bot <intellij-monorepo-bot-no-reply@jetbrains.com>
Mon, 14 Jun 2021 21:26:13 +0000 (21:26 +0000)
commitbcd93b56a7738b7c9f9d95fd56cda64cdb682659
tree654dc105ab4ff71d5c6cb0891f80186b4c9be150
parent01e94459b1664e2d6a6a9143756303091bfbf230
Advanced Settings: convert process.ignored into global option

GitOrigin-RevId: 718b5d7363bb6ef7594b07e4c57a01b09298cbcf
platform/platform-impl/src/com/intellij/openapi/util/registry/RegistryToAdvancedSettingsMigration.kt
platform/vcs-api/vcs-api-core/resources/messages/VcsBundle.properties
platform/vcs-impl/resources/META-INF/VcsExtensions.xml
plugins/git4idea/resources/META-INF/plugin.xml
plugins/git4idea/src/git4idea/repo/GitUntrackedFilesHolder.java
plugins/hg4idea/src/META-INF/plugin.xml
plugins/hg4idea/src/org/zmlx/hg4idea/provider/HgLocalIgnoredHolder.java