diff docs/make.bat @ 542:1e46e254366e

Use a new .shellcheckrc file for common configuration settings for shellcheck. Module-wide settings are removed for now.
author Franz Glasner <fzglas.hg@dom66.de>
date Tue, 10 Sep 2024 01:50:20 +0200
parents 86d8929e4747
children
line wrap: on
line diff