Merge branch 'GUDHI:master' into master

GUDHI · Sep 17, 2023 · 4f89234 · 4f89234
2 parents 5bb12cc + 911ee9d
commit 4f89234
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -16,6 +16,8 @@ data/points/human.off_sc.txt
 # IDE specific
 # CLion
 .idea/
+# VSCode
+.vscode
 
 # macOS metadata
 .DS_Store