| author | ymh <ymh.work@gmail.com> |
| Tue, 03 Sep 2024 11:09:40 +0200 | |
| changeset 1558 | 761ba7426984 |
| parent 1557 | 7c67caaafdeb |
| permissions | -rw-r--r-- |
| 1557 | 1 |
{ |
2 |
"python.linting.enabled": true, |
|
3 |
"python.linting.pylintEnabled": true, |
|
|
1558
761ba7426984
upgrade metadataplayer and add a sitemap
ymh <ymh.work@gmail.com>
parents:
1557
diff
changeset
|
4 |
"python.linting.flake8Enabled": false, |
|
761ba7426984
upgrade metadataplayer and add a sitemap
ymh <ymh.work@gmail.com>
parents:
1557
diff
changeset
|
5 |
"php.validate.executablePath": "/nix/store/qcagvy6rrhaf9hkf0fykimcvgba92kdq-php-with-extensions-8.1.11/bin/php" |
| 1557 | 6 |
} |