diff --git a/.gitignore b/.gitignore index 67b66cf7e..4e8bc1de3 100644 --- a/.gitignore +++ b/.gitignore @@ -5,6 +5,7 @@ \#*# .#* .edts +.tool-versions *.dump /Makefile /doc