diff options
Diffstat (limited to 'user/settings')
| -rw-r--r-- | user/settings/tabnine.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/user/settings/tabnine.nix b/user/settings/tabnine.nix index b7c6c0c6..d0e77bcd 100644 --- a/user/settings/tabnine.nix +++ b/user/settings/tabnine.nix @@ -17,6 +17,7 @@ in { hide_promotional_message = true; beta_enabled = "No"; + binary_update_interval_seconds = null; ignore_all_lsp = false; creation_time = "2020-04-23T10:42:35.732522096Z"; semantic_status = { |