Skip to content

Update Makefiles for easier generation of different document status#1789

Merged
Ms2ger merged 1 commit intomainfrom makefile-updateAug 21, 2024

Commits

Commits on Aug 21, 2024