fix(config): extension is optional
This commit is contained in:
parent
69fc2ecdbb
commit
9ea6f878de
1 changed files with 2 additions and 2 deletions
|
|
@ -4,7 +4,7 @@
|
||||||
---@field debug? string[] Debug command template
|
---@field debug? string[] Debug command template
|
||||||
---@field executable? string Executable name
|
---@field executable? string Executable name
|
||||||
---@field version? number Language version
|
---@field version? number Language version
|
||||||
---@field extension string File extension
|
---@field extension? string File extension
|
||||||
|
|
||||||
---@class PartialLanguageConfig
|
---@class PartialLanguageConfig
|
||||||
---@field compile? string[] Compile command template
|
---@field compile? string[] Compile command template
|
||||||
|
|
@ -17,7 +17,7 @@
|
||||||
---@class ContestConfig
|
---@class ContestConfig
|
||||||
---@field cpp LanguageConfig
|
---@field cpp LanguageConfig
|
||||||
---@field python LanguageConfig
|
---@field python LanguageConfig
|
||||||
---@field default_language string
|
---@field default_language? string
|
||||||
|
|
||||||
---@class PartialContestConfig
|
---@class PartialContestConfig
|
||||||
---@field cpp? PartialLanguageConfig
|
---@field cpp? PartialLanguageConfig
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue