diff tools/rename.bat @ 34138:8f1d88fd63a5

CI: regenerate helptags, fix ci help tags job failing Commit: https://github.com/vim/vim/commit/9c58191b34c5ccc847d8119f5055a9086980356c Author: Christian Brabandt <cb@256bit.org> Date: Mon Jan 15 22:38:48 2024 +0100 CI: regenerate helptags, fix ci help tags job failing Signed-off-by: Christian Brabandt <cb@256bit.org>
author Christian Brabandt <cb@256bit.org>
date Mon, 15 Jan 2024 22:45:05 +0100
parents 217c97e06615
children 7a3de23515d6
line wrap: on
line diff