toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
runner-api
/
dev.ust.zinc.grader.util
/
CmdLang
/
DiffIgnoreFlag
/
flagsMap
flags
Map
val
flagsMap
:
Map
<
Settings.DiffIgnoreFlag
,
String
>