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-22 18:29:09 +02:00
parent 8c7411d073
commit dc247d3cdb
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

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