3 Commits (150c10e6b17c26874574a7f0c958dba8643efe9c)

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