Add CONTRIBUTORS, Release.md, Tools.md to extra-doc-files

This commit is contained in:
sorki 2024-01-06 15:25:10 +01:00
parent b91a9f01e2
commit 8654442757

View File

@ -24,6 +24,9 @@ Extra-source-files:
Extra-doc-files:
CHANGELOG.md
CONTRIBUTORS
Release.md
Tools.md
flag extopenscad
default: