mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-28 16:01:18 +01:00
Add the possibility to the cppcheck script to pass git's `--diff-filter` option. Also improve comments a bit.
Add the possibility to the cppcheck script to pass git's `--diff-filter` option. Also improve comments a bit.