Eduardo Cueto-Mendoza 13e1cd6804 Floating terminal is better		2023-09-07 12:53:38 +01:00
..
lazy.lua	Floating terminal is better	2023-09-07 12:53:38 +01:00
options.lua	Modification to older config	2023-08-30 12:30:31 +01:00
remaps.lua	Selection of OS and small formatting	2023-09-06 09:52:13 +01:00