Commit Graph

3 Commits (34f7c6652eb0ccde514074b70659e7538177d03b)

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