Code

Skip unneeded substitutions#305

Code

Merged

NatKarmios merged 3 commits intoGillianPlatform:masterGillianPlatform/Gillian:masterfrom N1ark:less-substsN1ark/Gillian:less-substsCopy head branch name to clipboardAug 3, 2024

+90-79

Commits

Commits on Jul 30, 2024

• Skip substitutions if empty

  N1ark

  committed
  332a041

Commits on Aug 3, 2024

• Merge branch 'master' into less-substs

  NatKarmios

  authored
  349b0c1

• Merge branch 'master' into less-substs

  NatKarmios

  authored
  133648a