From 92fed6f9595cc3f1e9c843cb1cde2a419e63090e Mon Sep 17 00:00:00 2001 From: Maxim Reznik Date: Fri, 14 Feb 2020 17:01:51 +0200 Subject: [PATCH] Drop extra foldingRangeProvider definition in 3.15 It seems a copy/paste error. --- _specifications/specification-3-15.md | 7 ------- 1 file changed, 7 deletions(-) diff --git a/_specifications/specification-3-15.md b/_specifications/specification-3-15.md index f969526..334809e 100644 --- a/_specifications/specification-3-15.md +++ b/_specifications/specification-3-15.md @@ -1765,13 +1765,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. */