Skip to content

Fix editor config for makefiles.#10190

Merged
jpeach merged 1 commit intoapache:masterfrom
jpeach:editorconfig-for-makefiles
Aug 16, 2023
Merged

Fix editor config for makefiles.#10190
jpeach merged 1 commit intoapache:masterfrom
jpeach:editorconfig-for-makefiles

Commits

Commits on Aug 16, 2023