diff --git a/docs/2023-06-25-useful-tools.html b/docs/2023-06-25-useful-tools.html index 81b1bd6..65fc1d7 100644 --- a/docs/2023-06-25-useful-tools.html +++ b/docs/2023-06-25-useful-tools.html @@ -720,6 +720,11 @@ >https://github.com/Microsoft/pyright +
  • + https://github.com/artempyanykh/marksman +
  • Misc