Commit History

Author SHA1 Message Date
  Marko Kaznovac 1e3cee4715 Don't track new files in submodules from main repo 5 years ago
  ℳichiel ℛoos 87a8b82563 [autosuggestions] Add module 7 years ago
  Fernando Barillas 1b44eb6404 [prompt] Add lean prompt: github.com/miekg/lean 7 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