Commit Graph

3 Commits (5dc3c977f1e2b48e6d898ccb753227ba1e36b3d0)

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