https://gitlab.opengeosys.org/ogs/ogs.git
Raw File
Tip revision: 83c298e8ffdeeb8460920e7a36ebfb21e77d6fd6 authored by Karsten Rink on 28 June 2021, 11:25:58 UTC
Merge branch 'ReinsertEarClipping' into 'master'
Tip revision: 83c298e
.editorconfig
[*]
indent_style = space
charset = utf-8
trim_trailing_whitespace = true
insert_final_newline = true
indent_size = 4

[*.{md,pandoc}]
trim_trailing_whitespace = false

[*.{json,yml,yaml,toml,html,css,js,scss}]
indent_size = 2
back to top