Non-standard capitalization of JSON commands (#175251)

This commit is contained in:
Martin Aeschlimann
2023-02-23 16:52:44 +01:00
committed by GitHub
parent 41edd9883f
commit 8dcf90c7d0
3 changed files with 4 additions and 4 deletions

View File

@@ -45,7 +45,7 @@ export interface DocumentSortingParams {
*/
uri: string;
/**
* The format options
* The sort options
*/
options: SortOptions;
}