Joshua Potter f96f05c95f Add telescope mappings, drop DAP adapter name and widget closing.		2023-11-24 09:52:34 -07:00
..
lua/init	Add telescope mappings, drop DAP adapter name and widget closing.	2023-11-24 09:52:34 -07:00
default.nix	Add telescope plugin.	2023-11-24 08:21:43 -07:00
utils.nix	Add support for lean.	2023-11-19 21:00:33 -07:00