1
0
Fork 0
mirror of synced 2024-11-24 00:05:35 -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