Skip to content

[TASK] Adjust .editorconfig for Makefile indentation #17

[TASK] Adjust .editorconfig for Makefile indentation

[TASK] Adjust .editorconfig for Makefile indentation #17

documentation

succeeded Mar 12, 2024 in 13s