| changeset 1558 | 761ba7426984 |
| parent 1557 | 7c67caaafdeb |
| 1557:7c67caaafdeb | 1558:761ba7426984 |
|---|---|
1 { |
1 { |
2 "python.linting.enabled": true, |
2 "python.linting.enabled": true, |
3 "python.linting.pylintEnabled": true, |
3 "python.linting.pylintEnabled": true, |
4 "python.linting.flake8Enabled": false |
4 "python.linting.flake8Enabled": false, |
5 "php.validate.executablePath": "/nix/store/qcagvy6rrhaf9hkf0fykimcvgba92kdq-php-with-extensions-8.1.11/bin/php" |
|
5 } |
6 } |