Skip to main content

Browse the archive

Revision 00f293c35f74a71d08e8f66efa50fe7194377355 authored by Andrew Kushnir on 21 June 2023, 18:20:23 UTC, committed by Andrew Kushnir on 21 June 2023, 18:25:30 UTC 
release: cut the v16.1.2 release
1 parent 5ae0018
Raw File
.editorconfig 
# https://editorconfig.org

root = true

[*]
charset = utf-8
indent_style = space
indent_size = 2
end_of_line = lf
insert_final_newline = true
trim_trailing_whitespace = true

[*.md]
insert_final_newline = false
trim_trailing_whitespace = false
back to top