ℳichiel ℛoos
|
87a8b82563
[autosuggestions] Add module
|
7 years ago |
Fernando Barillas
|
1b44eb6404
[prompt] Add lean prompt: github.com/miekg/lean
|
8 years ago |
Matt Hamilton
|
818beef89d
add liquidprompt
|
8 years ago |
Matt Hamilton
|
c58e75ca82
add pure prompt
|
8 years ago |
Matt Hamilton
|
de48f8b873
submodule repos ssh -> https
|
8 years ago |
Matt Hamilton
|
3a62391e0e
initial commit
|
8 years ago |