diff options
| author | Philip Taron <philip.taron@gmail.com> | 2024-03-02 14:08:55 -0800 |
|---|---|---|
| committer | Philip Taron <philip.taron@gmail.com> | 2024-03-02 14:08:55 -0800 |
| commit | bafb9ea9328ae080fad0ee47e840285d09e05617 (patch) | |
| tree | b343a54c2e46cf34ad0e16aa01835049e271a976 /.gitignore | |
| parent | 551c27677d66d635004f44784d10643edfaec6db (diff) | |
gitignore: ignore tags file
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index f0807473f06b..e73debc369c5 100644 --- a/.gitignore +++ b/.gitignore @@ -11,6 +11,7 @@ outputs/ result-* result repl-result-* +tags !pkgs/development/python-modules/result /doc/NEWS.html /doc/NEWS.txt |