diff --git a/docs/2023-06-25-useful-tools.html b/docs/2023-06-25-useful-tools.html index 93486e1..544976b 100644 --- a/docs/2023-06-25-useful-tools.html +++ b/docs/2023-06-25-useful-tools.html @@ -54,7 +54,7 @@ > -

This just a raw list.

+

This is just a raw list.

Tools

+
  • +

    + https://github.com/zsh-users/zsh-history-substring-search +

    +