wok-undigest log linux/stuff/tools/check_modules.sh

age author description
2019-11-15 Hans-G?nter Theisgen copied linux receipt and stuff from wok-next