Remove extras Config option since extras plugins are enabled individualy now (#673)

* Remove `extras` Global Config

* remove white space

Co-authored-by: maxime50 <>
This commit is contained in:
maxime50 2021-07-04 22:14:09 -04:00 committed by GitHub
parent d8a3a552d6
commit d876d89c30
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 2 deletions

View file

@ -14,7 +14,6 @@ O.auto_close_tree = 0
O.wrap_lines = false
O.timeoutlen = 100
O.document_highlight = true
O.extras = false
O.leader_key = " "
O.ignore_case = true
O.smart_case = true