summaryrefslogtreecommitdiff
path: root/.idea/.gitignore
diff options
context:
space:
mode:
authorEdoardo La Greca2025-08-18 21:09:11 +0200
committerEdoardo La Greca2025-08-18 21:09:11 +0200
commit7341ead2aade10ea1b833e94275277658741883a (patch)
tree46495f24c54278d50aa0da5046822fbe502f3f14 /.idea/.gitignore
parent1e50cf9c224d03896f176f3718ff80ef1659e9c2 (diff)
switch to multi-module project structure
Diffstat (limited to '.idea/.gitignore')
-rw-r--r--.idea/.gitignore2
1 files changed, 0 insertions, 2 deletions
diff --git a/.idea/.gitignore b/.idea/.gitignore
index a0ccf77..26d3352 100644
--- a/.idea/.gitignore
+++ b/.idea/.gitignore
@@ -1,5 +1,3 @@
# Default ignored files
/shelf/
/workspace.xml
-# Environment-dependent path to Maven home directory
-/mavenHomeManager.xml