| commit | 70def98a957620cc325d1ab6ee35f13187598693 | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Sat Nov 02 22:45:31 2019 +0100 |
| committer | Bram Moolenaar <Bram@vim.org> | Sat Nov 02 22:45:31 2019 +0100 |
| tree | 92c57cae40e5e0d9139ca790ddecfcbb55fc02dd | |
| parent | 024dbd229fa7991b7bf7ef4d0888b43ab03783f7 [diff] |
patch 8.1.2242: creating docs tags uses user preferences Problem: Creating docs tags uses user preferences. (Tony Mechelynck) Solution: Add "--clean".
diff --git a/src/version.c b/src/version.c index c597675..704eee0 100644 --- a/src/version.c +++ b/src/version.c
@@ -742,6 +742,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 2242, +/**/ 2241, /**/ 2240,