toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
runner-api
/
dev.ust.zinc.grader.util
/
CmdLang
/
DiffIgnoreFlag
/
DiffIgnoreFlag
Diff
Ignore
Flag
constructor
(
flagsMap
:
Map
<
Settings.DiffIgnoreFlag
,
String
>
)