diff options
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index f07904c99..12ae5e3e0 100644 --- a/.gitignore +++ b/.gitignore @@ -61,3 +61,4 @@ results.log stamp-h stamp-h.in stamp-h1 +TAGS |