	Failed to load latest commit information.
	include	Properly implement add_link	May 14, 2018
	src	Document usage of FTS constants	May 31, 2018
	.gitignore	Remove auto-generated lean.mod.c	Jul 20, 2017
	.lvimrc	Initial commit	Jan 12, 2017
	LICENSE	Added license and readme	Apr 26, 2017
	Makefile	Add top-level makefile	Oct 24, 2017
	README.md	Fix typo in README	Oct 9, 2017