Skip to content

Uniformize premise input usage

Sankalp Gambhir requested to merge github/fork/sankalpgambhir/tactics-premise-uniformity into easy-tactics

Removed old remnant t1 inputs to make the premise inputs uniform for basic tactics.

Merge request reports