Merge pull request #915 from reznikmm/patch-3

Drop extra ExecuteCommandOptions def in 3.15
microsoft · Feb 18, 2020 · 24340b4 · 24340b4
2 parents acf8d35 + b884aa1
commit 24340b4
Showing 1 changed file with 0 additions and 10 deletions.
diff --git a/_specifications/specification-3-15.md b/_specifications/specification-3-15.md
@@ -1639,16 +1639,6 @@ interface InitializeError {
 The server can signal the following capabilities:
 
 ```typescript
-/**
- * Execute command options.
- */
-export interface ExecuteCommandOptions {
-	/**
-	 * The commands to be executed on the server
-	 */
-	commands: string[]
-}
-
 interface ServerCapabilities {
 	/**
 	 * Defines how text documents are synced. Is either a detailed structure defining each notification or