chore(kernel): add custom pretty printer for std::string

2025-07-01 18:39:16 +00:00 · 2025-05-07 09:32:29 +00:00
parent 2791a602b5
commit 527ad803d3
3 changed files with 55 additions and 91 deletions
--- a/Kernel/.editorconfig
+++ b/Kernel/.editorconfig
@ -9,5 +9,9 @@ insert_final_newline = true
 indent_style = tab
 indent_size = 4

+[*.py]
+indent_size = 4
+indent_style = space
+
 [Makefile]
 indent_style = tab