Bram Moolenaar f38c86eb6b patch 8.0.1352: dead URLs in the help go unnoticed ...

Problem:    Dead URLs in the help go unnoticed.
Solution:   Add a script to check URLs in the help files. (Christian Brabandt)

2017-11-28 14:19:07 +01:00

22 KiB

Raw Blame History

View Raw