martin dac0c816bc Update editor settings for git operations ... - Add git push, add, and commit to allowed bash commands - Enable automated git workflow for development		2025-08-22 20:19:30 +02:00
..
settings.local.json	Update editor settings for git operations	2025-08-22 20:19:30 +02:00