Code

make stwo default in cli and cli-rs#2394

Code

Draft

Schaeff wants to merge 1 commit intomainpowdr-labs/powdr:mainfrom make-stwo-defaultpowdr-labs/powdr:make-stwo-defaultCopy head branch name to clipboard

+2-2

Commits

Commits on Jan 27, 2025

• make stwo default in cli and cli-rs

  Schaeff

  committed
  2a7b15b

  Copy full SHA for 2a7b15b