1
0
Fork 0
mirror of synced 2024-11-27 09:45:34 -05:00
Commit graph

1 commit

Author SHA1 Message Date
Fernando Barillas
1b44eb6404 [prompt] Add lean prompt: github.com/miekg/lean
Closes #71
2016-08-15 20:31:17 -07:00