1b44eb6404
Closes #71
Symbolic link
1 line
No EOL
41 B
Text
Symbolic link
1 line
No EOL
41 B
Text
../external-themes/lean/prompt_lean_setup |