first commit

2025-04-10 18:14:01 +08:00
commit 8b18de9693
26 changed files with 270858 additions and 0 deletions
@@ -0,0 +1,8 @@
+[*]
+charset = utf-8
+end_of_line = lf
+insert_final_newline = true
+trim_trailing_whitespace = true
+
+[*.v]
+indent_style = tab