MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-04-21 05:51:25 +07:00
Code Issues Packages Projects Releases Wiki Activity

[ide] IJPL-172891: Add mavenHomeManager.xml to .gitignore

Browse Source 
This file contains an environment-dependent configuration, and it should not be shared between different machines

GitOrigin-RevId: 6c547afd226907928aba015655a6e7cb15a053d6
This commit is contained in:
Konstantin.Nisht
2024-12-13 14:59:37 +01:00
committed by intellij-monorepo-bot
parent 4c14fb3dc6
commit 2077046a83
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@@ -3,6 +3,7 @@
.gradle
.idea/gradle_extensions.xml
.idea/libraries/Gradle__*.xml
.idea/mavenHomeManager.xml
.idea/shelf
.idea/workspace.xml
.jqwik-database