Lukas Neubert 76ea3e7b41 tools/check-md: allow directories as args and deprecate -all flag (#8582)		2021-02-05 16:46:20 +01:00
..
tools	tools/check-md: allow directories as args and deprecate -all flag (#8582)	2021-02-05 16:46:20 +01:00
v	tools/check-md: allow directories as args and deprecate -all flag (#8582)	2021-02-05 16:46:20 +01:00