juan ae91bba3cf minor coq changes and add keybind for gitsigns		2021-11-01 19:29:14 +08:00
..
plugins	minor coq changes and add keybind for gitsigns	2021-11-01 19:29:14 +08:00
core.lua	update neoformat and indent-blankline	2021-10-25 10:53:37 +08:00
mappings.lua	minor coq changes and add keybind for gitsigns	2021-11-01 19:29:14 +08:00
pluginList.lua	minor coq changes and add keybind for gitsigns	2021-11-01 19:29:14 +08:00