Skip to content

Implement editor indent settings per project (type and size) #30

Implement editor indent settings per project (type and size)

Implement editor indent settings per project (type and size) #30

🐧 Linux  /  Editor with doubles and GCC sanitizers (target=editor, tests=yes, dev_build=yes, scu_build=yes, precision=double, use_asan=yes, use_ubsan=yes, linker=gold)

succeeded Oct 16, 2024 in 48m 48s