diff options
author | makefu <github@syntax-fehler.de> | 2021-12-04 20:30:04 +0100 |
---|---|---|
committer | makefu <github@syntax-fehler.de> | 2021-12-04 20:30:04 +0100 |
commit | dea261e5c47111fec03bee7d907ecd5fa3d95b12 (patch) | |
tree | b34ea65da200a300a91b0db12a47838e7883c54c /.gitignore | |
parent | 84e7a1f2221bfc7325f190aae37cf07d7b5cf7e8 (diff) |
ma tools/dev: use python37 for default python package
to have python-language-server again
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions