1
0
Fork 0
mirror of synced 2025-01-07 13:12:14 -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