diff options
| author | Luke T. Shumaker <lukeshu@lukeshu.com> | 2024-11-21 20:03:17 -0700 |
|---|---|---|
| committer | Luke T. Shumaker <lukeshu@lukeshu.com> | 2024-11-23 13:53:35 -0700 |
| commit | 1f644055705aa698af3a248cba938ddb95524a1b (patch) | |
| tree | a04307f1ca31ed9e3b21e85cdee4152997986440 /.editorconfig | |
| parent | 1f5b2284fd1b0b00f6f7ef5a26dccf1ea26077b4 (diff) | |
lint rp2040.py
Diffstat (limited to '.editorconfig')
| -rw-r--r-- | .editorconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.editorconfig b/.editorconfig index 26a1c9c..62b7bb2 100644 --- a/.editorconfig +++ b/.editorconfig @@ -36,7 +36,7 @@ _mode = sh [{build-aux/linux-errno.txt.gen,libusb/include/libusb/tusb_helpers.h.gen}] _mode = bash -[{lib9p/idl.gen,lib9p/include/lib9p/linux-errno.h.gen,build-aux/stack.c.gen}] +[{lib9p/idl.gen,lib9p/include/lib9p/linux-errno.h.gen,build-aux/stack.c.gen,gdb-helpers/*.py}] _mode = python3 indent_style = space indent_size = 4 |