diff options
| author | João Valverde <j@v6e.pt> | 2022-03-09 12:07:22 +0000 |
|---|---|---|
| committer | João Valverde <j@v6e.pt> | 2022-03-09 12:09:24 +0000 |
| commit | 7aa5b080164d295abcb725a3f61ab4e84a7a6066 (patch) | |
| tree | 2f249fd6383a21631263f1e7e5139e89e693038e /.editorconfig | |
| parent | 7e07f373f5b26ee6635dc4e9e24ec30c2cd2597e (diff) | |
EditorConfig: Add settings for Flex
Diffstat (limited to '.editorconfig')
| -rw-r--r-- | .editorconfig | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig index b06b9e1ee2..3e5acf2758 100644 --- a/.editorconfig +++ b/.editorconfig @@ -71,3 +71,8 @@ indent_size = 8 [*.{c,cpp,h}] indent_style = space indent_size = 4 + +# Flex (lexical analyzer generator) +[*.l] +indent_style = tab +indent_size = 8 |