diff options
author | shane.xb.qian <shane.qian@foxmail.com> | 2024-04-10 17:15:34 +0200 |
---|---|---|
committer | Christian Brabandt <cb@256bit.org> | 2024-04-10 17:15:34 +0200 |
commit | b988c7a95f5ddb1f665a3fc7f0bcf2b08145693b (patch) | |
tree | b93d9102d5078236e386fb1e8e8ec8b855938a0e /.gitignore | |
parent | 8fcc129773cfc67769c20bc681535f3f906fff6e (diff) |
add runtime/doc/tags-* to ignore files (#14479)
closes: #14479
Signed-off-by: shane.xb.qian <shane.qian@foxmail.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 52444475ef..241e96eaf6 100644 --- a/.gitignore +++ b/.gitignore @@ -96,6 +96,7 @@ src/kword_test # Generated by "make install" runtime/doc/doctags +runtime/doc/tags-* # Temporarily generated by "runtime/syntax/generator/make" runtime/syntax/generator/generator.err |