chore: minor random updates #240

Merged

joao.dubas merged 5 commits from jpd-chore-minor-changes into main

2025-05-28 18:50:25 +00:00

Author	SHA1	Message	Date
Joao P Dubas	12d012a76b	chore: access local raspberry pi cluster	2025-05-28 18:47:26 +00:00
Joao P Dubas	568b76b833	chore: configure editor through `editorconfig`	2025-05-28 18:47:03 +00:00
Joao P Dubas	cfe25c4dfa	chore: fix format in 24-bit-color script	2025-05-28 18:46:40 +00:00
Joao P Dubas	71cbbd2b2b	chore(docker): add volume for supermaven configuration	2025-05-28 18:46:20 +00:00
Joao P Dubas	902d0c9406	chore(docker): remove unused environment variable	2025-05-28 18:46:08 +00:00