Merge pull request #57 from openstandia/fix

chore: update .gitignore and remove .idea
openstandia · Jan 11, 2024 · f862c6b · f862c6b
2 parents fdaae07 + 69afd0e
commit f862c6b
Show file tree

Hide file tree

Showing 11 changed files with 3 additions and 249 deletions.
diff --git a/.gitignore b/.gitignore
@@ -23,10 +23,7 @@
 hs_err_pid*
 
 # IntelliJ
-.idea/**/workspace.xml
-.idea/**/tasks.xml
-.idea/libraries
-.idea/modules.xml
+.idea
 *.iml
 
 # Build
@@ -35,3 +32,5 @@ target
 .DS_Store
 
 dependency-reduced-pom.xml
+
+.tool-versions
diff --git a/.idea/.gitignore b/.idea/.gitignore
diff --git a/.idea/.name b/.idea/.name
diff --git a/.idea/codeStyles/Project.xml b/.idea/codeStyles/Project.xml
diff --git a/.idea/codeStyles/codeStyleConfig.xml b/.idea/codeStyles/codeStyleConfig.xml
diff --git a/.idea/compiler.xml b/.idea/compiler.xml
diff --git a/.idea/encodings.xml b/.idea/encodings.xml
diff --git a/.idea/jarRepositories.xml b/.idea/jarRepositories.xml
diff --git a/.idea/misc.xml b/.idea/misc.xml
diff --git a/.idea/uiDesigner.xml b/.idea/uiDesigner.xml
diff --git a/.idea/vcs.xml b/.idea/vcs.xml