Skip to content
Back to pull request #88875

Explain gutter types in the TextEdit documentation #23986

Sign in to view logs

Explain gutter types in the TextEdit documentation

Explain gutter types in the TextEdit documentation #23986

Annotations

1 warning

🐧 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)

🐧 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 Feb 26, 2024 in 16m 5s