From aa95809aa5a518c5979df7ebfcfb63a2528ea4ad Mon Sep 17 00:00:00 2001 From: github-actions Date: Thu, 16 Dec 2021 09:34:43 +0000 Subject: docs: update server_configurations.md skip-checks: true --- doc/server_configurations.md | 1 - doc/server_configurations.txt | 1 - 2 files changed, 2 deletions(-) diff --git a/doc/server_configurations.md b/doc/server_configurations.md index 5c9c8b7d..8edfcdd6 100644 --- a/doc/server_configurations.md +++ b/doc/server_configurations.md @@ -612,7 +612,6 @@ require'lspconfig'.codeqlls.setup{} settings = { search_path = "list containing all search paths, eg: '~/codeql-home/codeql-repo'" } - single_file_support = true ``` diff --git a/doc/server_configurations.txt b/doc/server_configurations.txt index 5c9c8b7d..8edfcdd6 100644 --- a/doc/server_configurations.txt +++ b/doc/server_configurations.txt @@ -612,7 +612,6 @@ require'lspconfig'.codeqlls.setup{} settings = { search_path = "list containing all search paths, eg: '~/codeql-home/codeql-repo'" } - single_file_support = true ``` -- cgit v1.2.3-70-g09d2