remove unnecessary lines (#2586)

pull/2593/head
Zohir Benghalem 5 months ago committed by GitHub
parent 2fedda14ed
commit c2ec317b1b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -50,14 +50,6 @@ local options = {
},
extensions_list = { "themes", "terms" },
extensions = {
fzf = {
fuzzy = true,
override_generic_sorter = true,
override_file_sorter = true,
case_mode = "smart_case",
},
},
}
return options

Loading…
Cancel
Save