use python3.9 for vscode script

pull/7102/head
Nils Dijk 2023-09-28 13:51:58 +00:00
parent 54379d57ad
commit c072915726
2 changed files with 3 additions and 3 deletions

View File

@ -9,4 +9,4 @@ docopt = "*"
[dev-packages]
[requires]
python_version = "3"
python_version = "3.9"

4
.devcontainer/.vscode/Pipfile.lock generated vendored
View File

@ -1,11 +1,11 @@
{
"_meta": {
"hash": {
"sha256": "5906b8027becd04da3d9bb9747c503339361f5ab52d8f83078f6abbde6a37440"
"sha256": "6956a6700ead5804aa56bd597c93bb4a13f208d2d49d3b5399365fd240ca0797"
},
"pipfile-spec": 6,
"requires": {
"python_version": "3"
"python_version": "3.9"
},
"sources": [
{