Skip to content

[TASK] Adjust .editorconfig for Makefile indentation #14

[TASK] Adjust .editorconfig for Makefile indentation

[TASK] Adjust .editorconfig for Makefile indentation #14

documentation

succeeded Mar 12, 2024 in 13s