Merge pull request #848 from adedayo/fixed-duplicate-folding-range-pr…

…ovider Removed duplicate foldingRangeProvider field in ServerCapabilities
microsoft · Nov 6, 2019 · 1576175 · 1576175
2 parents 880699d + b16602e
commit 1576175
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/specification.md b/specification.md
@@ -1700,13 +1700,6 @@ interface ServerCapabilities {
  */
  foldingRangeProvider?: boolean | FoldingRangeOptions | FoldingRangeRegistrationOptions;
 
- /**
- * The server provides folding provider support.
- *
- * @since 3.10.0
- */
- foldingRangeProvider?: boolean | FoldingRangeOptions | FoldingRangeRegistrationOptions;
-
  /**
  * The server provides execute command support.
  */