Setup docs page

This commit is contained in:
Andras Schmelczer 2022-07-08 10:56:42 +02:00
parent dadbe24c82
commit c39feeee53
33 changed files with 2724 additions and 379 deletions

View file

@ -0,0 +1,21 @@
{
"version": "2.0.0",
"tasks": [
{
"label": "Format and lint",
"type": "shell",
"command": "source .env/bin/activate; ./format.sh .",
"windows": {
"command": ".env\\bin\\activate.bat; .\\format.sh ."
},
"group": "test",
"presentation": {
"reveal": "always",
"panel": "new"
},
"options": {
"cwd": "${workspaceFolder}"
}
}
]
}