diff options
author | Yee Cheng Chin <ychin.git@gmail.com> | 2022-10-15 10:22:19 +0100 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2022-10-15 10:22:19 +0100 |
commit | b77bdce120d7e140d0d0bd535ec9febdef78993d (patch) | |
tree | 8df18815ea6237263ef38a666d0df1b88c45def2 /.github/workflows | |
parent | 7e120ffccbf81ae8acac28f11fbd5eab79a1630d (diff) |
patch 9.0.0753: some Ex commands are not in the help indexv9.0.0753
Problem: Some Ex commands are not in the help index.
Solution: Add the missing commands. Add a script to check all Ex commands
are in the help index. (Yee Cheng Chin, closes #11371)
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions