11 lines
168 B
Lua
Executable File
11 lines
168 B
Lua
Executable File
-- Alias for vim.g
|
|
local g = vim.g
|
|
|
|
-- Run COQ on open
|
|
g.coq_settings = {
|
|
auto_start = 'shut-up',
|
|
limits = {
|
|
completion_manual_timeout = 2000,
|
|
},
|
|
}
|