1
0
Fork 0
mirror of synced 2024-12-26 16:03:21 -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