Update doc/tools

[doc.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 89faacf..3371e59 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -71,3 +71,4 @@ target/
 
 #MacOs
 .DS_Store
+.vscode/settings.json