diff options
Diffstat (limited to 'user/settings')
| -rw-r--r-- | user/settings/tabnine.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/user/settings/tabnine.nix b/user/settings/tabnine.nix index 200b91a8..daf86c39 100644 --- a/user/settings/tabnine.nix +++ b/user/settings/tabnine.nix @@ -18,7 +18,7 @@ in { hide_promotional_message = true; beta_enabled = "No"; ignore_all_lsp = false; - creation_time = "2019-08-26T09:51:35.732522096Z"; + creation_time = "2020-01-13T15:42:35.732522096Z"; semantic_status = { typescript = "Enabled"; javascript = "Enabled"; @@ -28,6 +28,7 @@ in { user_understands_that_enabling_tabnine_cloud_sends_code_to_tabnine_servers = false; hosted_deep_completions_enabled = "Disabled"; + tabnine_cloud_certificate_domain = null; tabnine_cloud_host = null; tabnine_cloud_port = null; cloud_whitelist = [ ]; |