comparison src/gui_x11_pm.h @ 18496:7b1f8e4b32ba v8.1.2242

patch 8.1.2242: creating docs tags uses user preferences Commit: https://github.com/vim/vim/commit/70def98a957620cc325d1ab6ee35f13187598693 Author: Bram Moolenaar <Bram@vim.org> Date: Sat Nov 2 22:45:31 2019 +0100 patch 8.1.2242: creating docs tags uses user preferences Problem: Creating docs tags uses user preferences. (Tony Mechelynck) Solution: Add "--clean".
author Bram Moolenaar <Bram@vim.org>
date Sat, 02 Nov 2019 23:00:05 +0100
parents 4aead6a9b7a9
children 6e3dc2d630c2
comparison
equal deleted inserted replaced
18495:9a48788bc82e 18496:7b1f8e4b32ba