prompt_lean_setup 41 B

1
  1. ../external-themes/lean/prompt_lean_setup