From b16602ed014ae0c29d3a6b3a67016fa8d0c0ebae Mon Sep 17 00:00:00 2001
From: "Dr. Adedayo Adetoye" <dayo.dev@gmail.com>
Date: Sun, 3 Nov 2019 23:50:44 +0000
Subject: [PATCH] Removed duplicate foldingRangeProvider field in
 ServerCapabilities

---
 specification.md | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/specification.md b/specification.md
index 9ae0f9fb1..8587f1ff6 100644
--- 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.
 	 */