/config/

• ../
• lean.zsh