guix-dotfiles/home-config/fish/functions/tide/configure/choices/lean
2024-04-05 11:57:45 -04:00
..
lean_prompt_height.fish ahhh sloppy fish, still needs fixing, esp with the vars 2024-04-05 11:57:45 -04:00