diff --git a/.gitignore b/.gitignore index 0d7a20c3015..fb8a5d8d3ff 100644 --- a/.gitignore +++ b/.gitignore @@ -28,3 +28,4 @@ lexer.ml rustboot rustc +TAGS