diff options
| author | Bram Moolenaar <Bram@vim.org> | 2019-11-01 19:46:22 +0100 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2019-11-01 19:46:22 +0100 |
| commit | 757bd2ea49585ea9896d6df707c68b4793017039 (patch) | |
| tree | ebb8ec07fe212632a39e91af67318877396835d5 /.gitignore | |
| parent | 7a641ca1e113c813fc39cca26f69cd6fc19f71c2 (diff) | |
patch 8.1.2238: error in docs tags goes unnoticedv8.1.2238
Problem: Error in docs tags goes unnoticed.
Solution: Adjust tags build command. (Ken Takata, closes #5158)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions