1 Commits

Author	SHA1	Message	Date
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