Chosto
/
codium-settings
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update settings from , profile « main »

main
Quentin Duchemin 2025-09-16 18:00:14 +02:00
parent a72d9d6419
commit 4129dc506a
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
profiles/main/data/settings.json
View File

@ -83,7 +83,6 @@
"150" "150"
], ],
"black-formatter.showNotifications": "always", "black-formatter.showNotifications": "always",
"markdown-toc.depthTo": 2, "markdown-toc.depthTo": 3,
"markdown-toc.depthFrom": 1, "markdown-toc.depthFrom": 2
"ansible.validation.lint.arguments": "--skip-list=var-naming[no-role-prefix],fqcn[action-core] --fix=all"
} }