diff options
| author | Bram Moolenaar <Bram@vim.org> | 2019-11-02 22:45:31 +0100 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2019-11-02 22:45:31 +0100 |
| commit | 70def98a957620cc325d1ab6ee35f13187598693 (patch) | |
| tree | 92c57cae40e5e0d9139ca790ddecfcbb55fc02dd /src/vim.h | |
| parent | 024dbd229fa7991b7bf7ef4d0888b43ab03783f7 (diff) | |
| download | vim-git-70def98a957620cc325d1ab6ee35f13187598693.tar.gz | |
patch 8.1.2242: creating docs tags uses user preferencesv8.1.2242
Problem: Creating docs tags uses user preferences. (Tony Mechelynck)
Solution: Add "--clean".
Diffstat (limited to 'src/vim.h')
0 files changed, 0 insertions, 0 deletions