1 commit

Author	SHA1	Message	Date
Thomas Haller	62411390e2	build: rename "tools/check-settings-docs.sh" to "check-compare-generated.sh" ... It's a better name, because the script merely compiles files and is not specific to "settings-docs.h".	2020-11-03 15:41:39 +01:00

Renamed from tools/check-settings-docs.sh (Browse further)