|
|
|
|
Quelle .editorconfig
Sprache: unbekannt
|
|
# See https://EditorConfig.org
# This is the top-most EditorConfig file
root = true
# Unix-style newlines with a newline ending every file.
# But do not trim trailing whitespaces -- while we
# want that eventually, it just causes pain right now,
# if it pollutes commits.
[*]
end_of_line = lf
insert_final_newline = true
trim_trailing_whitespace = true
indent_style = space
indent_size = 4
charset = utf-8
# trailing whitespace are relevant in .tst files
[*.tst]
trim_trailing_whitespace = false
# our GAPDoc XML files may contain tests for which trailing whitespace are relevant
[*.xml]
trim_trailing_whitespace = false
# In Makefile one must use tab indentation
[Makefile*]
indent_style = tab
[ Dauer der Verarbeitung: 0.19 Sekunden
(vorverarbeitet)
]
|
2026-03-28
|
|
|
|
|
