3 Commits (0a5e9228a62be850b3ee7f6fe3b6ab7a70ff3029)

Author	SHA1	Message	Date
Joshua Potter	f573cc7ada	Update `lean.nvim`.	2024-02-24 07:15:34 -07:00
Joshua Potter	7e5b575053	Restructure neovim config.	2024-01-04 10:08:13 -07:00
Joshua Potter	f7a592c094	Move jrpotter to top-level.	2023-12-10 12:16:44 -07:00