3 Commits (a5401bb9a8f7e7aaea52b0b68e020b9556f9f616)

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