Gitly


1 [*]
2 charset = utf-8
3 end_of_line = lf
4 insert_final_newline = true
5 trim_trailing_whitespace = true
6 
7 [*.v]
8 indent_style = tab
9 indent_size = 4
10

1	[*]
2	charset = utf-8
3	end_of_line = lf
4	insert_final_newline = true
5	trim_trailing_whitespace = true
6
7	[*.v]
8	indent_style = tab
9	indent_size = 4
10