diff --git a/docs/2023-06-25-useful-tools.html b/docs/2023-06-25-useful-tools.html index 65fc1d7..bd88870 100644 --- a/docs/2023-06-25-useful-tools.html +++ b/docs/2023-06-25-useful-tools.html @@ -254,6 +254,13 @@ >

+
  • +

    + https://github.com/extrawurst/gitui +

    +
  • Memory