diff options
Diffstat (limited to '.editorconfig')
| -rw-r--r-- | .editorconfig | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.editorconfig b/.editorconfig index 9540302..b7ad057 100644 --- a/.editorconfig +++ b/.editorconfig @@ -45,13 +45,13 @@ _mode = gitignore # By specific filename (non-lib9p) ############################################# -[{build-aux/lint-unknown,build-aux/embed-sources.h.gen}] +[{build-aux/embed-sources.h.gen,build-aux/valgrind}] _mode = sh -[{build-aux/lint-{bin,h,generic},build-aux/get-dscname,build-aux/valgrind,build-aux/gcov-prune,libusb/include/libusb/tusb_helpers.h.gen}] +[{build-aux/lint-{src,bin},build-aux/gcov-prune,libusb/include/libusb/tusb_helpers.h.gen}] _mode = bash -[build-aux/stack.c.gen] +[{build-aux/stack.c.gen,libmisc/wrap-cc}] _mode = python3 indent_style = space indent_size = 4 |