1
Fork 0
mirror of https://github.com/RGBCube/properties.v synced 2025-07-30 08:27:45 +00:00

Some uncompleted work

This commit is contained in:
RGBCube 2023-03-10 22:57:22 +03:00
commit 5b478a07aa
12 changed files with 301 additions and 0 deletions

9
.editorconfig Normal file
View file

@ -0,0 +1,9 @@
[*]
charset = utf-8
end_of_line = lf
insert_final_newline = true
trim_trailing_whitespace = true
[*.v]
indent_style = tab
indent_size = 4