Fernando Barillas 1b44eb6404 [prompt] Add lean prompt: github.com/miekg/lean ... Closes #71		2016-08-15 20:31:17 -07:00
..
lean@0ccf0c34ac	[prompt] Add lean prompt: github.com/miekg/lean	2016-08-15 20:31:17 -07:00
liquidprompt@488bb5975d	[prompt] liquidprompt: update submodule	2016-07-26 13:50:34 -07:00
pure@211b49481e	[prompt] pure: update submodule	2016-07-27 19:41:05 -07:00