psi-jack/zimfw
1
0
Fork 0
mirror of synced 2025-01-03 19:38:58 -05:00
Code Issues Releases Wiki Activity
zimfw/modules/prompt/functions/prompt_lean_setup
Fernando Barillas 1b44eb6404 [prompt] Add lean prompt: github.com/miekg/lean 
Closes #71
2016-08-15 20:31:17 -07:00

Symbolic link
1 line
No EOL
41 B
Text
Raw Blame History

../external-themes/lean/prompt_lean_setup
Reference in a new issue View git blame Copy permalink