runner-api/dev.ust.zinc.grader.util/CmdLang/DiffIgnoreFlag/toFlag

toFlag

fun toFlag(flagSymbol: Settings.DiffIgnoreFlag): String

Converts a flag enum parsed in a pipeline config into flag used for command building.