3 Commits (4baeb59aaf00ba59c1ab02284153a7a4542f0c5d)

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